diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_internal.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/type_internal.ml b/src/type_internal.ml index 09fb5eae..0086979d 100644 --- a/src/type_internal.ml +++ b/src/type_internal.ml @@ -1061,6 +1061,8 @@ let rec simple_constraint_check cs = ^ string_of_int i1 ^ " to be less than or equal to " ^ string_of_int i2) | _,_ -> LtEq(co,n1',n2')::(simple_constraint_check cs)) | x::cs -> x::(simple_constraint_check cs) + +let rec resolve_in_constraints cs = cs let do_resolve_constraints = ref true |