diff --git a/_tags b/_tags
index c1554407..f350c48a 100644
--- a/_tags
+++ b/_tags
@@ -20,10 +20,6 @@ true: inline(100), optimize(3), unbox_closures, unbox_closures_factor(20)
 <src/backend/*.cmx>: for-pack(Msat)
 <src/util/*.cmx>: for-pack(Msat)
 
-<src/sat/*.cmx>: for-pack(Msat_sat)
-<src/smt/*.cmx>: for-pack(Msat_smt)
-<src/mcsat/*.cmx>: for-pack(Msat_mcsat)
-
 # Testing dependencies
 <src/main.*>: package(dolmen)
 <src/util/type.*>: package(dolmen)
diff --git a/src/msat.mlpack b/src/msat.mlpack
index 4968dec6..eb1182bc 100644
--- a/src/msat.mlpack
+++ b/src/msat.mlpack
@@ -25,5 +25,4 @@ Dot
 Dedukti
 
 # Auxiliary modules
-Expr
 Tseitin