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/FunIdentifier.ml | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 src/FunIdentifier.ml

(limited to 'src/FunIdentifier.ml')

diff --git a/src/FunIdentifier.ml b/src/FunIdentifier.ml
new file mode 100644
index 00000000..dd7e9318
--- /dev/null
+++ b/src/FunIdentifier.ml
@@ -0,0 +1,2 @@
+open Identifiers
+module FunDeclId = IdGen ()
-- 
cgit v1.2.3