1 files changed, 7 insertions, 7 deletions
diff --git a/src/base/ver/ver.h b/src/base/ver/ver.h
index 575ae7bb..0ba081db 100644
--- a/src/base/ver/ver.h
+++ b/src/base/ver/ver.h
@@ -45,18 +45,18 @@ typedef struct Ver_Stream_t_    Ver_Stream_t;
 
 struct Ver_Man_t_
 {
+    // internal parameters
+    int             fMapped;       // mapped verilog
+    int             fUseMemMan;    // allocate memory manager in the networks
+    int             fCheck;        // checks network for currectness
     // input file stream
     char *          pFileName;
     Ver_Stream_t *  pReader;
     int             fNameLast;
     ProgressBar *   pProgress;
-    // current network and library
-    Abc_Ntk_t *     pNtkCur;       // the network under construction
-    Abc_Lib_t *     pDesign;       // the current design 
-    // parameters
-    int             fUseMemMan;    // allocate memory manager in the networks
-    int             fCheck;        // checks network for currectness
-    // error recovery
+    // current design
+    Abc_Lib_t *     pDesign;
+    // error handling
     FILE *          Output;
     int             fTopLevel;
     int             fError;