diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index ab1a2f82..3243bf20 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -4076,7 +4076,7 @@ let make_bitvector_cast_exp cast_name cast_env quant_kids typ target_typ exp = let arg_typ' = subst_unifiers unifiers arg_typ in arg_typ' end - | _ -> typ_error l ("Malformed constructor " ^ string_of_id f ^ " with type " ^ string_of_typ ctor_typ) + | _ -> typ_error env l ("Malformed constructor " ^ string_of_id f ^ " with type " ^ string_of_typ ctor_typ) in (* Push the cast down, including through constructors *) |