From 38e65c4cab23b06bcd4e8824f6e3c51b2e79e434 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Jan 2022 09:43:22 +0100
Subject: Remove SymbolicAstUtils.ml

---
 src/PrintSymbolicAst.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/PrintSymbolicAst.ml')

diff --git a/src/PrintSymbolicAst.ml b/src/PrintSymbolicAst.ml
index ec07a270..25b39e2e 100644
--- a/src/PrintSymbolicAst.ml
+++ b/src/PrintSymbolicAst.ml
@@ -15,7 +15,6 @@ module A = CfimAst
 module C = Contexts
 module M = Modules
 open SymbolicAst
-open SymbolicAstUtils
 module P = Print
 module PT = Print.Types
 
-- 
cgit v1.2.3