diff options
Diffstat (limited to 'checker')
| -rw-r--r-- | checker/mod_checking.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/mod_checking.ml b/checker/mod_checking.ml index 7800dff01f..53316a2cb9 100644 --- a/checker/mod_checking.ml +++ b/checker/mod_checking.ml @@ -28,7 +28,7 @@ let check_constant_declaration env kn cb = (* let env = add_constraints cb.const_constraints env in*) (match cb.const_type with ty -> - let env' = add_constraints (Future.force cb.const_constraints) env in + let env' = add_constraints cb.const_constraints env in (*MS: FIXME*) let _ = infer_type env' ty in (match body_of_constant cb with | Some bd -> |