From 7a87f20c18f042fe4e8679d08227eb8f5ca34b84 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 27 Jan 2012 00:57:42 -0800
Subject: Variable timeframe abstraction.

---
 src/aig/gia/giaAbsVta.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig')

diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c
index cd8e14b9..cd499a75 100644
--- a/src/aig/gia/giaAbsVta.c
+++ b/src/aig/gia/giaAbsVta.c
@@ -151,7 +151,7 @@ void Gia_VtaSetDefaultParams( Gia_ParVta_t * p )
     p->nConfLimit    =    0;   // conflict limit
     p->nTimeOut      =   60;   // timeout in seconds
     p->fUseTermVars  =    0;   // use terminal variables
-    p->fVerbose      =    1;   // verbose flag
+    p->fVerbose      =    0;   // verbose flag
     p->iFrame        =   -1;   // the number of frames covered 
 }
 
-- 
cgit v1.2.3