From aad20489cd6c97b8dca4b84ba7f79aa8d66cf5ad Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Wed, 12 Nov 2014 16:53:19 +0100
Subject: [PATCH] Fix in doc comment

---
 sat/theory_intf.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sat/theory_intf.ml b/sat/theory_intf.ml
index 829fae4e..5d67ca20 100644
--- a/sat/theory_intf.ml
+++ b/sat/theory_intf.ml
@@ -43,7 +43,7 @@ module type S = sig
 
   val current_level : unit -> level
   (** Return the current level of the theory (either the empty/beginning state, or the
-      last level returned by the assume] function). *)
+      last level returned by the [assume] function). *)
 
   val assume : slice -> res
   (** Assume the formulas in the slice, possibly pushing new formulas to be propagated,