2 files changed, 3 insertions, 1 deletions
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c
index eb036620..d2744402 100644
--- a/src/base/ver/verCore.c
+++ b/src/base/ver/verCore.c
@@ -1098,6 +1098,8 @@ int Ver_ParseAssign( Ver_Man_t * pMan, Abc_Ntk_t * pNtk )
         pWord = Ver_ParseGetName( pMan );
         if ( pWord == NULL )
             return 0;
+        if ( strcmp(pWord, "#1") == 0 )
+            continue;
         // check for vector-inputs
         if ( !Ver_ParseLookupSuffix( pMan, pWord, &nMsb, &nLsb ) )
             return 0;
diff --git a/src/base/ver/verParse.c b/src/base/ver/verParse.c
index 553d0348..c1ae1781 100644
--- a/src/base/ver/verParse.c
+++ b/src/base/ver/verParse.c
@@ -116,7 +116,7 @@ char * Ver_ParseGetName( Ver_Man_t * pMan )
     }
     else
         pWord = Ver_StreamGetWord( p, " \t\n\r(),;" );
-    if ( !Ver_ParseSkipComments( pMan ) )
+    if ( Ver_StreamIsOkey(p) && !Ver_ParseSkipComments( pMan ) )
         return NULL;
     return pWord;
 }