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