]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
Fix creation of SimplifyingNodeFactory to use STPMgr's hashingNodeFactory, to satisfy...
authorkhooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 11 Jan 2012 16:55:36 +0000 (16:55 +0000)
committerkhooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 11 Jan 2012 16:55:36 +0000 (16:55 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1498 e59a4935-1847-0410-ae03-e826735625c1

src/main/main.cpp

index ac08bb2ab7a0b60adca40d2117503bd9569fa30c..fe1c8c03e0b855e27ab936c44d10157b66bef488 100644 (file)
@@ -418,7 +418,7 @@ int main(int argc, char ** argv) {
 
   bm->GetRunTimes()->start(RunTimes::Parsing);
        {
-           SimplifyingNodeFactory simpNF(*bm->defaultNodeFactory, *bm);
+           SimplifyingNodeFactory simpNF(*bm->hashingNodeFactory, *bm);
                TypeChecker nfTypeCheckSimp(simpNF, *bm);
                TypeChecker nfTypeCheckDefault(*bm->defaultNodeFactory, *bm);