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

(limited to 'src/ExtractToFStar.ml')

diff --git a/src/ExtractToFStar.ml b/src/ExtractToFStar.ml
index 0bbe591e..9766ddaf 100644
--- a/src/ExtractToFStar.ml
+++ b/src/ExtractToFStar.ml
@@ -6,6 +6,7 @@ open PureUtils
 open TranslateCore
 open PureToExtract
 open StringUtils
+open FunIdentifier
 module F = Format
 
 (** A qualifier for a type definition.
-- 
cgit v1.2.3