summaryrefslogtreecommitdiff
path: root/asmcomp
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2016-01-15 15:25:23 +0100
committerDamien Doligez <damien.doligez@inria.fr>2016-01-15 15:25:23 +0100
commitd2968641748d0750ae1c9bd93e7d236f03e2f503 (patch)
tree922a68f986c1501eba36aea86fe512a402a73bee /asmcomp
parent1d8d9b54eeb7ba1e973ab351404da9ea8fb184fe (diff)
downloadocaml-d2968641748d0750ae1c9bd93e7d236f03e2f503.tar.gz
remove unused (and wrong?) line in cmmgen.ml
Diffstat (limited to 'asmcomp')
-rw-r--r--asmcomp/cmmgen.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml
index 3ddce13cde..865df1522c 100644
--- a/asmcomp/cmmgen.ml
+++ b/asmcomp/cmmgen.ml
@@ -427,7 +427,6 @@ let safe_mod_bi =
let test_bool = function
Cop(Caddi, [Cop(Clsl, [c; Cconst_int 1]); Cconst_int 1]) -> c
- | Cop(Clsl, [c; Cconst_int 1]) -> c
| c -> Cop(Ccmpi Cne, [c; Cconst_int 1])
(* Float *)