From fe7949c350bb3c5e2b9990ab3594b256194c3f0b Mon Sep 17 00:00:00 2001
From: Sidney Congard
Date: Mon, 25 Jul 2022 14:22:52 +0200
Subject: Apply minor changes from PR comments

---
 src/SymbolicToPure.ml | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'src/SymbolicToPure.ml')

diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml
index 7d9e2906..83cce3e9 100644
--- a/src/SymbolicToPure.ml
+++ b/src/SymbolicToPure.ml
@@ -127,13 +127,21 @@ type bs_ctx = {
 
 let type_check_pattern (ctx : bs_ctx) (v : typed_pattern) : unit =
   let env = VarId.Map.empty in
-  let ctx = { PureTypeCheck.type_decls = ctx.type_context.type_decls; env } in
+  let ctx = {
+    PureTypeCheck.type_decls = ctx.type_context.type_decls; 
+    global_decls = ctx.global_context.llbc_global_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 = { PureTypeCheck.type_decls = ctx.type_context.type_decls; env } in
+  let ctx = {
+    PureTypeCheck.type_decls = ctx.type_context.type_decls;
+    global_decls = ctx.global_context.llbc_global_decls;
+    env
+  } in
   PureTypeCheck.check_texpression ctx e
 
 (* TODO: move *)
-- 
cgit v1.2.3