mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

fixed buggy if condition

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-10-04 15:16:03 +01:00
parent 459e456f66
commit 4857de6c81
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/test/ddnf.cpp
View file

@ -123,7 +123,7 @@ datalog::ddnf_core* populate_ddnf(char const* file, ptr_vector<tbv>& tbvs) {
static void read_args(char ** argv, int argc, int& i) { static void read_args(char ** argv, int argc, int& i) {
if (argc = i + 2) { if (argc == i + 2) {
g_file = argv[i + 1]; g_file = argv[i + 1];
++i; ++i;
return; return;