diff options
| -rw-r--r-- | compiler/Contexts.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/compiler/Contexts.ml b/compiler/Contexts.ml index edda4260..0a62f5ef 100644 --- a/compiler/Contexts.ml +++ b/compiler/Contexts.ml @@ -404,9 +404,7 @@ let ctx_push_vars (meta : Meta.meta) (ctx : eval_ctx) (fun (var, (value : typed_value)) -> TypesUtils.ty_is_ety var.var_ty && var.var_ty = value.ty) vars) - meta - "The pushed variables and their values do not have the same type TODO: \ - Error message"; + meta "The pushed variables and their values do not have the same type"; let vars = List.map (fun (var, value) -> EBinding (BVar (var_to_binder var), value)) |