From 3e2fad35748982c032ad30d8ccc6d5216213dff2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 4 Dec 2014 18:23:20 -0800
Subject: Changes to the parser.

---
 src/misc/util/utilNam.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/misc/util')

diff --git a/src/misc/util/utilNam.c b/src/misc/util/utilNam.c
index 96c3b283..e5e04b7f 100644
--- a/src/misc/util/utilNam.c
+++ b/src/misc/util/utilNam.c
@@ -433,6 +433,7 @@ int Abc_NamStrFindOrAddLim( Abc_Nam_t * p, char * pStr, char * pLim, int * pfFou
     int iHandleNew;
     int *piPlace;
     char * pStore;
+    assert( pStr < pLim );
     piPlace = Abc_NamStrHashFind( p, pStr, pLim );
     if ( *piPlace )
     {
-- 
cgit v1.2.3