summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-12-01 16:03:37 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-12-01 16:03:37 +0000
commit8afcd89b705706bc459d7634125f595f6cba30dc (patch)
treef62a1b2c0c49c5867ad90f690578abafcf94dac5
parent230ffff0586e330368a838d0c228ef7e6887ba6c (diff)
Kbranchif -> Kbranchifnot
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2665 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--bytecomp/bytegen.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/bytegen.ml b/bytecomp/bytegen.ml
index a26c40670..55aa95b96 100644
--- a/bytecomp/bytegen.ml
+++ b/bytecomp/bytegen.ml
@@ -620,7 +620,7 @@ and comp_binary_test env cond ifso ifnot sz cont =
let cont = comp_expr env ifso sz cont in
match !lbl_staticfail with
None -> cont
- | Some label -> Kbranchif label :: cont
+ | Some label -> Kbranchifnot label :: cont
else begin
let (branch_end, cont1) = make_branch cont in
let (lbl_not, cont2) = label_code(comp_expr env ifnot sz cont1) in