From 23f627cae3292ca48703c08bcae154608155a3ff Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Thu, 7 May 2015 16:07:04 +0200
Subject: [PATCH] Removed dependency on zarith and fixed build options. Solves
 issue #1

---
 _tags | 2 +-
 opam  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/_tags b/_tags
index 8b30136a..3cb97080 100644
--- a/_tags
+++ b/_tags
@@ -1,6 +1,6 @@
 <util/*.cmx>: for-pack(Msat), package(unix)
 <util/*.native>: package(unix)
-<smt/*.cmx>: for-pack(Msat), package(zarith)
+<smt/*.cmx>: for-pack(Msat)
 <sat/*.cmx>: for-pack(Msat)
 <solver/*.cmx>: for-pack(Msat)
 
diff --git a/opam b/opam
index 9334f559..bde28dc4 100644
--- a/opam
+++ b/opam
@@ -12,7 +12,7 @@ install: [
 remove: [
     ["ocamlfind" "remove" "msat"]
 ]
-depends: ["ocamlfind" {build} "base-unix" "zarith"]
+depends: ["ocamlfind" {build} "base-unix"]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/Gbury/mSAT"
 dev-repo: "https://github.com/Gbury/mSAT.git"