From 0a39deca697ccb175fd51d24935356033b6b9772 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Thu, 9 Feb 2012 00:16:20 +0000 Subject: [PATCH] Fix the build. Typo in last checkin. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1564 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 8adf6f5..8f9bb6f 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, equiv, cache,&nf); + simplified_solved_InputToSAT = SubstitutionMap::simple_replace(simplified_solved_InputToSAT, equivs, cache,&nf); bm->ASTNodeStats(bb_message.c_str(), simplified_solved_InputToSAT); } -- 2.47.3