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/PrintPure.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/PrintPure.ml')

diff --git a/src/PrintPure.ml b/src/PrintPure.ml
index 5e817dde..8864dafe 100644
--- a/src/PrintPure.ml
+++ b/src/PrintPure.ml
@@ -2,6 +2,7 @@
 
 open Pure
 open PureUtils
+open FunIdentifier
 module T = Types
 module V = Values
 module E = Expressions
@@ -12,7 +13,6 @@ module RegionId = T.RegionId
 module VariantId = T.VariantId
 module FieldId = T.FieldId
 module SymbolicValueId = V.SymbolicValueId
-module FunDeclId = A.FunDeclId
 
 type type_formatter = {
   type_var_id_to_string : TypeVarId.id -> string;
@@ -44,7 +44,7 @@ type ast_formatter = {
   adt_field_to_string :
     TypeDeclId.id -> VariantId.id option -> FieldId.id -> string option;
   adt_field_names : TypeDeclId.id -> VariantId.id option -> string list option;
-  fun_decl_id_to_string : A.FunDeclId.id -> string;
+  fun_decl_id_to_string : FunDeclId.id -> string;
 }
 
 let ast_to_value_formatter (fmt : ast_formatter) : value_formatter =
@@ -110,7 +110,7 @@ let mk_ast_formatter (type_decls : T.type_decl TypeDeclId.Map.t)
     Print.LlbcAst.type_ctx_to_adt_field_to_string_fun type_decls
   in
   let fun_decl_id_to_string def_id =
-    let def = A.FunDeclId.Map.find def_id fun_decls in
+    let def = FunDeclId.Map.find def_id fun_decls in
     fun_name_to_string def.name
   in
   {
-- 
cgit v1.2.3