Merge pull request #766 from reuk/irep-ids-bugfix

kroening · web-flow · commit 36fa41762366 · 2017-04-06T10:53:31.000+01:00
Add empty string to list of irep ids
diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
@@ -1,3 +1,4 @@
+IREP_ID_TWO(empty_string, )
 IREP_ID_ONE(let)
 IREP_ID_ONE(nil)
 IREP_ID_ONE(type)
