From 383afcf19f72c365b4d15f34d6a7adaafc37e0a7 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Thu, 21 Jan 2016 17:19:24 +0100 Subject: [PATCH] Update README after Log switch --- README.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/README.md b/README.md index 6cb1be35..620e33fc 100644 --- a/README.md +++ b/README.md @@ -48,9 +48,7 @@ as shown in the following code : ### Generic SAT/SMT Solver A modular implementation of the SMT algorithm can be found in the `Msat.Solver` module, -as a functor which takes three modules : - - - A log module for debug output +as a functor which takes two modules : - A representation of formulas (which implements the `Formula_intf.S` signature)