mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

Merge pull request #310 from Lykos/patch-1

Browse source 
Fixed typo in warning message.
This commit is contained in:
Christoph M. Wintersteiger 2015-11-14 15:20:17 +00:00
parent 639dfc4b30 f880433a69
commit 1aafff0395
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/parsers/util/pattern_validation.cpp
View file

@ -88,7 +88,7 @@ bool pattern_validator::process(uint_set & found_vars, unsigned num_bindings, un
if (!f.m_result)
return false;
if (!f.m_found_a_var) {
warning_msg("pattern does contain any variable.");
warning_msg("pattern does not contain any variable.");
return false;
}
return true;