From d3ec4493b23d4458a65a348a3b4283720f0eb341 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 6 Aug 2016 00:24:07 -0700
Subject: Windows complier errors.

---
 src/opt/dau/dauCanon.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/opt')

diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c
index c6ac8288..011f972a 100644
--- a/src/opt/dau/dauCanon.c
+++ b/src/opt/dau/dauCanon.c
@@ -1219,8 +1219,9 @@ unsigned Abc_TtCanonicizeHie( Abc_TtMan_t * p, word * pTruthInit, int nVars, cha
     if ( fExact ) {
         extern void simpleMinimalGroups(word* x, word* pAux, word* minimal, int* pGroups, int nGroups, permInfo** pis, int nVars, int fFlipOutput, int fFlipInput);
         word pAuxWord[1024], pAuxWord1[1024];
-        int pGroups[nVars];
+        int pGroups[16];
         int nGroups = 0;
+        permInfo * pis[17];
         // get groups
         pGroups[0] = 0;
         for (i = 0; i < nVars - 1; i++) {
@@ -1236,7 +1237,6 @@ unsigned Abc_TtCanonicizeHie( Abc_TtMan_t * p, word * pTruthInit, int nVars, cha
         nGroups++;
 
         // compute permInfo from 0 to nVars  (incl.)
-        permInfo * pis[nVars+1];
         for (i = 0; i <= nVars; i++) {
             pis[i] = setPermInfoPtr(i);
         }
-- 
cgit v1.2.3