From 9e073ed8506c086d6e827f5588d1ee56c57703da Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 15 Jan 2006 08:01:00 -0800
Subject: Version abc60115

---
 src/sat/fraig/fraigSat.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/fraig/fraigSat.c')

diff --git a/src/sat/fraig/fraigSat.c b/src/sat/fraig/fraigSat.c
index 13f6b50b..a9e09f61 100644
--- a/src/sat/fraig/fraigSat.c
+++ b/src/sat/fraig/fraigSat.c
@@ -233,7 +233,7 @@ clk = clock();
     RetValue1 = Msat_SolverSolve( p->pSat, p->vProj, nBTLimit, nTimeLimit );
 p->timeSat += clock() - clk;
 
-Msat_SolverWriteDimacs( p->pSat, "temp_fraig.cnf" );
+//Msat_SolverWriteDimacs( p->pSat, "temp_fraig.cnf" );
 
     if ( RetValue1 == MSAT_FALSE )
     {
-- 
cgit v1.2.3