From 1917321c4e4718be0bd31fd1ac320db0e0989724 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 6 Aug 2012 09:58:34 -0700
Subject:  Scalable gate-level abstraction.

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

(limited to 'src/aig/gia/giaAbsRef.c')

diff --git a/src/aig/gia/giaAbsRef.c b/src/aig/gia/giaAbsRef.c
index a4401700..8a613912 100644
--- a/src/aig/gia/giaAbsRef.c
+++ b/src/aig/gia/giaAbsRef.c
@@ -543,7 +543,7 @@ Vec_Int_t * Rnm_ManRefine( Rnm_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap, in
         p->timeBwd += clock() - clk;
     }
     // clean values
-//    Rnm_ManCleanValues( p );
+    Rnm_ManCleanValues( p );
     // verify (empty) refinement
     clk = clock();
     Rnm_ManVerifyUsingTerSim( p->pGia, p->pCex, p->vMap, p->vObjs, vSelected );
-- 
cgit v1.2.3