diff options
| author | Kathy Gray | 2014-05-30 16:45:53 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-05-30 16:47:55 +0100 |
| commit | 063b2829bfdfe22446d0df1e06ca209ef45a1760 (patch) | |
| tree | 977153515d00cf75ca787f97ad004cef0d985973 /src | |
| parent | 80e22fcc5825200667cb79f46498fbdb1d8fe15d (diff) | |
Change == to eq_big_int in a missed comparison
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 |