mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-20 12:53:38 +00:00
Code Activity

typo

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-05-23 16:40:43 +01:00
parent f1cc1842e1
commit a361e4dcef
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/z3_api.h
View file

@ -6022,7 +6022,7 @@ END_MLAPI_EXCLUDE
/** /**
\brief Parse an SMT-LIB2 string with fixedpoint rules. \brief Parse an SMT-LIB2 string with fixedpoint rules.
Add the rules to the current fixedpoint context. Add the rules to the current fixedpoint context.
Return the set of queries in the file. Return the set of queries in the string.
\param c - context. \param c - context.
\param f - fixedpoint context. \param f - fixedpoint context.