From ba61ed50e7b2fdc78690de92d734a3747029f903 Mon Sep 17 00:00:00 2001
From: Sidney Congard
Date: Wed, 8 Jun 2022 12:32:14 +0200
Subject: read globals from LLBC JSON into functions

---
 src/PrintSymbolicAst.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/PrintSymbolicAst.ml')

diff --git a/src/PrintSymbolicAst.ml b/src/PrintSymbolicAst.ml
index 0ab68efc..e44b422a 100644
--- a/src/PrintSymbolicAst.ml
+++ b/src/PrintSymbolicAst.ml
@@ -7,6 +7,7 @@
 
 open Errors
 open Identifiers
+open FunIdentifier
 module T = Types
 module TU = TypesUtils
 module V = Values
@@ -20,7 +21,7 @@ module PT = Print.Types
 
 type formatting_ctx = {
   type_context : C.type_context;
-  fun_context : A.fun_decl A.FunDeclId.Map.t;
+  fun_context : A.fun_decl FunDeclId.Map.t;
   type_vars : T.type_var list;
 }
 
-- 
cgit v1.2.3