From 4857de6c8116cd6d78c153c6051b5e6d5af10d87 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 4 Oct 2015 15:16:03 +0100
Subject: [PATCH] fixed buggy if condition

---
 src/test/ddnf.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/ddnf.cpp b/src/test/ddnf.cpp
index 8620bd441..d2ca92557 100644
--- a/src/test/ddnf.cpp
+++ b/src/test/ddnf.cpp
@@ -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) {
-    if (argc = i + 2) {
+    if (argc == i + 2) {
         g_file = argv[i + 1];
         ++i;
         return;