From 4522aa3ddccb82a83c5257dc23bbc0f4c3548976 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Mon, 12 Sep 2016 17:54:10 +0200
Subject: [PATCH] Removed Expr module from msat lib

---
 _tags           | 4 ----
 src/msat.mlpack | 1 -
 2 files changed, 5 deletions(-)

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