From dae15319a049fb69935829e8fcc5edcb77ae3758 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Wed, 29 Feb 2012 03:56:16 +0000 Subject: [PATCH] Fix. I used the wrong comparison operation. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1574 e59a4935-1847-0410-ae03-e826735625c1 --- src/cpp_interface/cpp_interface.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cpp_interface/cpp_interface.cpp b/src/cpp_interface/cpp_interface.cpp index eeccaaa..96a796e 100644 --- a/src/cpp_interface/cpp_interface.cpp +++ b/src/cpp_interface/cpp_interface.cpp @@ -27,7 +27,7 @@ namespace BEEV ASTNode query; - if (assertionsSMT2.size() >= 1) + if (assertionsSMT2.size() > 1) query = parserInterface->CreateNode(AND, assertionsSMT2); else if (assertionsSMT2.size() == 1) query = assertionsSMT2[0]; -- 2.47.3