From 7a304e990d80dc052f63f66401544040fa0f2728 Mon Sep 17 00:00:00 2001
From: Escherichia
Date: Tue, 26 Mar 2024 12:14:32 +0100
Subject: added a meta option field to norm_ctx and changed the meta used by
 some assert to the norm_ctx one

---
 compiler/InterpreterStatements.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/InterpreterStatements.ml')

diff --git a/compiler/InterpreterStatements.ml b/compiler/InterpreterStatements.ml
index 253d90cc..0d0fd0a5 100644
--- a/compiler/InterpreterStatements.ml
+++ b/compiler/InterpreterStatements.ml
@@ -309,7 +309,7 @@ let get_assumed_function_return_type (meta : Meta.meta) (ctx : eval_ctx) (fid :
         Subst.erase_regions_substitute_types ty_subst cg_subst tr_subst tr_self
           sg.output
       in
-      AssociatedTypes.ctx_normalize_erase_ty ctx ty
+      AssociatedTypes.ctx_normalize_erase_ty meta ctx ty
 
 let move_return_value (config : config) (meta : Meta.meta) (pop_return_value : bool)
     (cf : typed_value option -> m_fun) : m_fun =
-- 
cgit v1.2.3