From 2e6ff522e5244194e0312450174bd4e220d8851d Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 15 Apr 2016 13:41:41 +0200
Subject: [PATCH] Update to Msat.Solver arguments in readme

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index f70b8ef9..cf389248 100644
--- a/README.md
+++ b/README.md
@@ -24,6 +24,9 @@ as a functor which takes two modules :
 
   - A theory (which implements the `Theory_intf.S` signature) to check consistence of assertions.
 
+  - A dummy empty module to ensure generativity of the solver (solver modules heavily relies on
+  side effects to their internal state)
+
 ### Sat Solver
 
 A ready-to-use SAT solver is available in the Sat module. It can be used