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

(limited to 'src/Modules.ml')

diff --git a/src/Modules.ml b/src/Modules.ml
index f52983c6..6d0cf70c 100644
--- a/src/Modules.ml
+++ b/src/Modules.ml
@@ -1,5 +1,6 @@
 open Types
 open LlbcAst
+open FunIdentifier
 
 type 'id g_declaration_group = NonRec of 'id | Rec of 'id list
 [@@deriving show]
-- 
cgit v1.2.3