From dca22182759e0c1d37894dc2f85582fa31019d12 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 8 Jun 2018 12:30:13 -0700
Subject: Compiler warnings.

---
 src/aig/miniaig/ndr.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/aig/miniaig/ndr.h')

diff --git a/src/aig/miniaig/ndr.h b/src/aig/miniaig/ndr.h
index 2ccec5b2..a1a47fa5 100644
--- a/src/aig/miniaig/ndr.h
+++ b/src/aig/miniaig/ndr.h
@@ -972,7 +972,7 @@ static inline void Ndr_ModuleTestFlop()
 static inline void Ndr_ModuleTestSelSel()
 {
     // map name IDs into char strings
-    char * ppNames[12] = { NULL, "sel", "c", "d0", "d1", "d2", "d3", "out" };
+    //char * ppNames[12] = { NULL, "sel", "c", "d0", "d1", "d2", "d3", "out" };
     // name IDs
     int NameIdC      =  2;
     int NameIdD0     =  3;
@@ -1019,7 +1019,7 @@ static inline void Ndr_ModuleTestSelSel()
 static inline void Ndr_ModuleTestDec()
 {
     // map name IDs into char strings
-    char * ppNames[12] = { NULL, "dec", "in", "out" };
+    //char * ppNames[12] = { NULL, "dec", "in", "out" };
     // name IDs
     int NameIdIn     =  2;
     int NameIdOut    =  3;
-- 
cgit v1.2.3