From 6c6c0b06868110f1d635bb4da40647494fbe6905 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 2 Aug 2011 00:31:03 +0700
Subject: Enabled saving vector of counter-examples in the ABC framework.

---
 src/base/main/mainInt.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/base/main/mainInt.h')

diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h
index d3a1fc9f..c008fc8b 100644
--- a/src/base/main/mainInt.h
+++ b/src/base/main/mainInt.h
@@ -98,6 +98,7 @@ struct Abc_Frame_t_
     Gia_Man_t *     pGia;
     Gia_Man_t *     pGia2;
     Abc_Cex_t *     pCex; 
+    Vec_Ptr_t *     vCexVec;
 
     void *          pSave1; 
     void *          pSave2; 
-- 
cgit v1.2.3