yices->yices-smt2 in docs

emina · Dec 14, 2023 · e00ac84 · e00ac84
1 parent 5b2fcef
commit e00ac84
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rosette/guide/scribble/datatypes/solvers+solutions.scrbl b/rosette/guide/scribble/datatypes/solvers+solutions.scrbl
@@ -413,7 +413,7 @@ will send the command @tt{(set-option :seed 5)} to Yices2 prior to solving.
 }
 
 @defproc[(yices-available?) boolean?]{
-Returns true if the Yices2 solver is available for use (i.e., Rosette can locate a @tt{yices} binary).
+Returns true if the Yices2 solver is available for use (i.e., Rosette can locate a @tt{yices-smt2} binary).
 If this returns @racket[#f], @racket[(yices)] will not succeed
 without its optional @racket[path] argument.}