v0.2 release

Updated opam file to disbale log building.
Gbury · Feb 29, 2016 · 6ea66dc · 6ea66dc
1 parent b6effe6
commit 6ea66dc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/opam b/opam
@@ -5,6 +5,7 @@ version: "dev"
 author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
 build: [
+    [make "disable_log"]
     [make "lib"]
 ]
 install: [
@@ -24,3 +25,4 @@ tags: [ "sat" "smt" ]
 homepage: "https://github.com/Gbury/mSAT"
 dev-repo: "https://github.com/Gbury/mSAT.git"
 bug-reports: "https://github.com/Gbury/mSAT/issues/"
+
diff --git a/util/log.mli b/util/log.mli
@@ -22,3 +22,4 @@ val debug : int -> string -> unit
 
 val set_debug_out : Format.formatter -> unit
 (** Change the output formatter. *)
+
Original file line number	Diff line number	Diff line change
Expand Up		@@ -22,3 +22,4 @@ val debug : int -> string -> unit

		val set_debug_out : Format.formatter -> unit
		(** Change the output formatter. *)