diff options
Diffstat (limited to '')
| -rw-r--r-- | src/SymbolicToPure.ml | 8 |
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 = |