From 0e5bde0f4081f8c4f29ce811e7dbb532ba583fe5 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 23 Jul 2022 00:24:56 -0400 Subject: [PATCH] detail --- src/smt-solver/Sidekick_smt_solver.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt-solver/Sidekick_smt_solver.ml b/src/smt-solver/Sidekick_smt_solver.ml index d2b3ce84..c44b5f83 100644 --- a/src/smt-solver/Sidekick_smt_solver.ml +++ b/src/smt-solver/Sidekick_smt_solver.ml @@ -3,7 +3,7 @@ Sidekick_sat (in src/sat/) is a modular SAT solver in pure OCaml. - This builds a {!Sidekick_core.SOLVER} on top of it. + This builds a SMT solver on top of it. *) (** Argument to pass to the functor {!Make} in order to create a