From 521077800b162792a1186d0cdf888698d3a403e1 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Thu, 9 Feb 2012 00:13:20 +0000 Subject: [PATCH] Fix. The new bit-blast simplifications where only half working. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1563 e59a4935-1847-0410-ae03-e826735625c1 --- src/STPManager/STP.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/STPManager/STP.cpp b/src/STPManager/STP.cpp index 50c8adf..8adf6f5 100644 --- a/src/STPManager/STP.cpp +++ b/src/STPManager/STP.cpp @@ -135,7 +135,7 @@ namespace BEEV { } #endif ASTNodeMap cache; - simplified_solved_InputToSAT = SubstitutionMap::simple_replace(simplified_solved_InputToSAT, fromTo, cache,&nf); + simplified_solved_InputToSAT = SubstitutionMap::simple_replace(simplified_solved_InputToSAT, equiv, cache,&nf); bm->ASTNodeStats(bb_message.c_str(), simplified_solved_InputToSAT); } -- 2.47.3