From 383ce096539bff262eb6cad847c379a403b4564b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 7 May 2015 15:56:07 +0200
Subject: [PATCH] add zarith as a dependency (close #1)

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index bde28dc4..9334f559 100644
--- a/opam
+++ b/opam
@@ -12,7 +12,7 @@ install: [
 remove: [
     ["ocamlfind" "remove" "msat"]
 ]
-depends: ["ocamlfind" {build} "base-unix"]
+depends: ["ocamlfind" {build} "base-unix" "zarith"]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/Gbury/mSAT"
 dev-repo: "https://github.com/Gbury/mSAT.git"