From 6e8efec57d5ef07ca33a3cefc3c1e6c3f7c70856 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 11 May 2016 11:07:34 -0700
Subject: Experiments with CEC for arithmetic circuits.

---
 src/proof/acec/acecInt.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/proof/acec/acecInt.h')

diff --git a/src/proof/acec/acecInt.h b/src/proof/acec/acecInt.h
index 7f70658e..e761e56e 100644
--- a/src/proof/acec/acecInt.h
+++ b/src/proof/acec/acecInt.h
@@ -56,6 +56,7 @@ ABC_NAMESPACE_HEADER_START
 
 /*=== acecUtil.c ========================================================*/
 extern void          Gia_PolynAnalyzeXors( Gia_Man_t * pGia, int fVerbose );
+extern Vec_Int_t *   Gia_PolynCollectLastXor( Gia_Man_t * pGia, int fVerbose );
 
 ABC_NAMESPACE_HEADER_END
 
-- 
cgit v1.2.3