From 6eeb649cdc998b7716922315cbcc1a7df214a965 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):