1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h
index 5076bb28..be6232ec 100644
--- a/src/map/if/if.h
+++ b/src/map/if/if.h
@@ -226,6 +226,7 @@ struct If_Man_t_
     int                nCutsCount[32];
     int                nCutsCountAll;
     int                nCutsUselessAll;
+    int                nCuts5, nCuts5a;
 //    Abc_Nam_t *        pNamDsd;
     int                iNamVar;
     Dss_Man_t *        pDsdMan;