From e5c031c5ae2b53bc2093cf84da352754a11e8882 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 19 Jun 2014 21:21:38 -0700
Subject: [PATCH] Added quick GIG parser.

---
 src/aig/gia/giaGig.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/aig/gia/giaGig.c b/src/aig/gia/giaGig.c
index b3ea1770a..f1a661d8d 100644
--- a/src/aig/gia/giaGig.c
+++ b/src/aig/gia/giaGig.c
@@ -29,7 +29,7 @@ ABC_NAMESPACE_IMPL_START
 ///                        DECLARATIONS                              ///
 ////////////////////////////////////////////////////////////////////////
 
-typedef enum { 
+enum { 
     GIG_NONE   =  0,
     GIG_RESET  =  1,
     GIG_PI     =  2,