]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
Fix the DIMACS CNF header
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sat, 13 Mar 2010 11:58:58 +0000 (11:58 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sat, 13 Mar 2010 11:58:58 +0000 (11:58 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@636 e59a4935-1847-0410-ae03-e826735625c1

src/extlib-abc/aig/cnf/cnfMan.c

index caaa899f3f2a06c4d6651b54de96d7ea9945f57c..6a83eb8f70180e9af1cc0025f7280d1715933f68 100644 (file)
@@ -150,7 +150,7 @@ void Cnf_DataWriteIntoFile( Cnf_Dat_t * p, char * pFileName, int fReadable )
         return;\r
     }\r
     fprintf( pFile, "c Result of efficient AIG-to-CNF conversion using package CNF\n" );\r
-    fprintf( pFile, "p %d %d\n", p->nVars, p->nClauses );\r
+    fprintf( pFile, "p cnf %d %d\n", p->nVars, p->nClauses );\r
     for ( i = 0; i < p->nClauses; i++ )\r
     {\r
         for ( pLit = p->pClauses[i], pStop = p->pClauses[i+1]; pLit < pStop; pLit++ )\r