diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-12-28 13:07:42 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-12-28 13:07:42 +0000 |
| commit | 2116da4220acde3fdf11ac0ef0100e0166729bcd (patch) | |
| tree | 3d09bdc4675c58823863bfe12c05e6cdd490d6f0 /otherlibs/num/num.ml | |
| parent | 447c79eadec7db87abc782735c5b06ed4fd020e4 (diff) | |
Getting rid of obsolete boolean operators & and or
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/num/num.ml')
| -rw-r--r-- | otherlibs/num/num.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/num/num.ml b/otherlibs/num/num.ml index adde82d8a..ab281f87c 100644 --- a/otherlibs/num/num.ml +++ b/otherlibs/num/num.ml @@ -26,7 +26,7 @@ and least_INT = big_int_of_int least_int (* Coercion big_int -> num *) let num_of_big_int bi = - if le_big_int bi biggest_INT & ge_big_int bi least_INT + if le_big_int bi biggest_INT && ge_big_int bi least_INT then Int (int_of_big_int bi) else Big_int bi |