From da65e88e3b346bcd70198b980e918ea9f1e11b4e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 22 Jun 2015 23:04:59 -0700
Subject: Version abc90804

committer: Baruch Sterin <baruchs@gmail.com>
---
 src/aig/int/intCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/int/intCore.c')

diff --git a/src/aig/int/intCore.c b/src/aig/int/intCore.c
index 6d29dfb9..d1f89c07 100644
--- a/src/aig/int/intCore.c
+++ b/src/aig/int/intCore.c
@@ -193,7 +193,7 @@ p->timeCnf += clock() - clk;
                 }
                 // likely spurious counter-example
                 p->nFrames += i;
-                Inter_ManClean( p );
+                Inter_ManClean( p ); 
                 break;
             }
             else if ( RetValue == -1 ) // timed out
-- 
cgit v1.2.3