diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_internal.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/type_internal.ml b/src/type_internal.ml index b52f041f..952f7924 100644 --- a/src/type_internal.ml +++ b/src/type_internal.ml @@ -1354,7 +1354,7 @@ and conforms_to_n spec actual = (*let _ = Printf.printf "conforms_to_n called with %s, %s\n" (n_to_string spec) (n_to_string actual) in*) match spec.nexp,actual.nexp with | Nuvar _,_ -> true - | Nconst si,Nconst ai -> si==ai + | Nconst si,Nconst ai -> eq_big_int si ai | _,_ -> false and conforms_to_o spec actual = match spec.order,actual.order with |