From 043cfcd775d067eadc400b7af40347e170a3774b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 18 Sep 2014 11:46:14 -0700
Subject: Concurrency for Boolean matching.

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

(limited to 'src/base/wlc')

diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c
index 34197e1b..32375ac0 100644
--- a/src/base/wlc/wlcReadVer.c
+++ b/src/base/wlc/wlcReadVer.c
@@ -134,7 +134,7 @@ int Wlc_PrsWriteErrorMessage( Wlc_Prs_t * p, char * pCur, const char * format, .
                 break;
         sprintf( p->sError, "%s (line %d): %s\n", p->pFileName, iLine+1, pMessage );
     }
-    free( pMessage );
+    ABC_FREE( pMessage );
     return 0;
 }
 void Wlc_PrsPrintErrorMessage( Wlc_Prs_t * p )
-- 
cgit v1.2.3