Move the type-checking functions for pure AST to PureTypeCheck.ml

1 files changed, 4 insertions, 4 deletions

diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml
index 156d5661..4754d237 100644
--- a/src/SymbolicToPure.ml
+++ b/src/SymbolicToPure.ml
@@ -113,14 +113,14 @@ type bs_ctx = {
 
 let type_check_pattern (ctx : bs_ctx) (v : typed_pattern) : unit =
   let env = VarId.Map.empty in
-  let ctx = { TypeCheck.type_decls = ctx.type_context.type_decls; env } in
-  let _ = TypeCheck.check_typed_pattern ctx v in
+  let ctx = { PureTypeCheck.type_decls = ctx.type_context.type_decls; env } in
+  let _ = PureTypeCheck.check_typed_pattern ctx v in
   ()
 
 let type_check_texpression (ctx : bs_ctx) (e : texpression) : unit =
   let env = VarId.Map.empty in
-  let ctx = { TypeCheck.type_decls = ctx.type_context.type_decls; env } in
-  TypeCheck.check_texpression ctx e
+  let ctx = { PureTypeCheck.type_decls = ctx.type_context.type_decls; env } in
+  PureTypeCheck.check_texpression ctx e
 
 (* TODO: move *)
 let bs_ctx_to_ast_formatter (ctx : bs_ctx) : Print.LlbcAst.ast_formatter =