From 33a1999bf6128358c841862f6b27123413ea4483 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 3 Nov 2021 16:42:27 +0100
Subject: Implement CfimAst.ml

---
 src/main.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/main.ml')

diff --git a/src/main.ml b/src/main.ml
index 2248506a..03522106 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,4 +1,5 @@
 open Identifiers
+open CfimAst
 
 module Id0 = IdGen ()
 
-- 
cgit v1.2.3