3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00

Merge pull request #1942 from waywardmonkeys/fix-missing-word

Fix missing word in doc comment.
This commit is contained in:
Nikolaj Bjorner 2018-11-17 09:18:13 -08:00 committed by GitHub
commit b7ecd4fa7a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -5579,7 +5579,7 @@ extern "C" {
\brief Convert a goal into a DIMACS formatted string.
The goal must be in CNF. You can convert a goal to CNF
by applying the tseitin-cnf tactic. Bit-vectors are not automatically
converted to Booleans either, so the caller intends to
converted to Booleans either, so if the caller intends to
preserve satisfiability, it should apply bit-blasting tactics.
Quantifiers and theory atoms will not be encoded.