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/Pure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Pure.ml')

diff --git a/src/Pure.ml b/src/Pure.ml
index 5834b87f..05f78e35 100644
--- a/src/Pure.ml
+++ b/src/Pure.ml
@@ -1,5 +1,6 @@
 open Identifiers
 open Names
+open FunIdentifier
 module T = Types
 module V = Values
 module E = Expressions
@@ -10,7 +11,6 @@ module RegionGroupId = T.RegionGroupId
 module VariantId = T.VariantId
 module FieldId = T.FieldId
 module SymbolicValueId = V.SymbolicValueId
-module FunDeclId = A.FunDeclId
 
 module SynthPhaseId = IdGen ()
 (** We give an identifier to every phase of the synthesis (forward, backward
-- 
cgit v1.2.3