From 4a648cf2a090a28d61c27fd4c06e7a62d5e15752 Mon Sep 17 00:00:00 2001
From: Bart Polot <bart@net.in.tum.de>
Date: Thu, 26 Sep 2013 12:48:51 +0000
Subject: [PATCH] - fix

---
 src/regex/regex_internal.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/regex/regex_internal.c b/src/regex/regex_internal.c
index 02bf5dc6f..9ea6cb8f5 100644
--- a/src/regex/regex_internal.c
+++ b/src/regex/regex_internal.c
@@ -3431,7 +3431,7 @@ REGEX_INTERNAL_iterate_all_edges (struct REGEX_INTERNAL_Automaton *a,
 
     num_edges = state_get_edges (s, edges);
     if ( ( (NULL != s->proof) && 
-           (0 <= strlen (s->proof)) ) || s->accepting)
+           (0 < strlen (s->proof)) ) || s->accepting)
       iterator (iterator_cls, &s->hash, s->proof, 
                 s->accepting,
                 num_edges, edges);
-- 
2.25.1