summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1997-02-16 13:37:50 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1997-02-16 13:37:50 +0000
commit0d33755f3e0cfa0021efdb6a3b675f3d35310661 (patch)
tree2083971533b1fa6b7f4aec82e3135749baf68cc1
parent9ab76e8c8f771d28471265561c3577862da173bc (diff)
Une petite contrainte de type sur cmpVar
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--test/bdd.ml3
1 files changed, 2 insertions, 1 deletions
diff --git a/test/bdd.ml b/test/bdd.ml
index 50f1414ef..f1fa8b183 100644
--- a/test/bdd.ml
+++ b/test/bdd.ml
@@ -83,7 +83,8 @@ let mkNode low v high =
type ordering = LESS | EQUAL | GREATER
-let cmpVar x y = if x<y then LESS else if x>y then GREATER else EQUAL
+let cmpVar (x:int) (y:int) =
+ if x<y then LESS else if x>y then GREATER else EQUAL
let zero = Zero
let one = One