diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/type_check.ml b/src/type_check.ml index 0c4c9f8e..64b161f7 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -1834,7 +1834,7 @@ let rec assert_constraint env (E_aux (exp_aux, _) as exp) = | _ -> begin typ_debug ("Unable to construct a constraint for expression " ^ string_of_exp exp); - nc_true + raise Not_a_constraint end type flow_constraint = |