From 3dd355154a57853a477e0726daf393fee2d21e55 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Wed, 6 Dec 2023 17:43:16 +0200
Subject: [PATCH] Move CfgTools to goblint_common

---
 src/common/common.mld                  | 1 +
 src/{ => common}/framework/cfgTools.ml | 0
 2 files changed, 1 insertion(+)
 rename src/{ => common}/framework/cfgTools.ml (100%)

diff --git a/src/common/common.mld b/src/common/common.mld
index a1cc9a261a..2ad88c3758 100644
--- a/src/common/common.mld
+++ b/src/common/common.mld
@@ -10,6 +10,7 @@ For better context, see {!Goblint_lib} which also documents these modules.
 Node
 Edge
 MyCFG
+CfgTools
 }
 
 {2 Specification}
diff --git a/src/framework/cfgTools.ml b/src/common/framework/cfgTools.ml
similarity index 100%
rename from src/framework/cfgTools.ml
rename to src/common/framework/cfgTools.ml