Skip to content
Permalink
Browse files

Correct small typo in docs

  • Loading branch information
gfrances committed Mar 19, 2020
1 parent 3931a69 commit 6562e2662496291a5578facecb140d7f41f8ab4d
Showing with 1 addition and 1 deletion.
  1. +1 −1 docs/tutorials.rst
@@ -42,7 +42,7 @@ How to access functionalities of solvers not currently wrapped by pySMT
-----------------------------------------------------------------------
.. literalinclude:: ../examples/allsat.py

How to use any SMT-LIB complaint SMT solver
How to use any SMT-LIB compliant SMT solver
--------------------------------------------
.. literalinclude:: ../examples/generic_smtlib.py

0 comments on commit 6562e26

Please sign in to comment.
You can’t perform that action at this time.