From 13ee4998c39e891b94336491f225c378ec621db1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 4 May 2013 20:24:53 -0700
Subject: C++ compiler errors.

---
 src/base/abci/abc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index d4aa3fd2..47196ad3 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -28211,7 +28211,7 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv )
         Abc_Print( -1, "LUT library is not given. Using default LUT library.\n" );
         pAbc->pLibLut = If_LibLutSetSimple( 6 );
     }
-    pPars->pLutLib = pAbc->pLibLut;
+    pPars->pLutLib = (If_LibLut_t *)pAbc->pLibLut;
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "KCFAGDEWSqaflepmrsdbgyojikcvh" ) ) != EOF )
     {
-- 
cgit v1.2.3