From 7324647fb10397a09e42f7ba69ac3e9a75ee16a9 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 3 Jan 2018 22:08:55 +0100 Subject: [PATCH] doc --- src/core/msat.mld | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/msat.mld b/src/core/msat.mld index 33a6b1c3..50973961 100644 --- a/src/core/msat.mld +++ b/src/core/msat.mld @@ -21,7 +21,7 @@ The following modules allow to easily create a SAT or SMT solver (remark: a SAT simply an SMT solver with an empty theory). {!modules: -Msat_solver +Msat } The following modules allow the creation of a McSat solver (Model Constructing solver):