Fix Loop Exit Bug

[satcheck.git] / eprecord.cc

diff --git a/eprecord.cc b/eprecord.cc
index c7bf25f67ad8c68554433b661711e997e9399140..10b4537980e28b9173fddd07bc22ce9ca7fa0366 100644 (file)
--- a/eprecord.cc
+++ b/eprecord.cc
@@ -83,6 +83,8 @@ const char * eventToStr(EventType event) {
                return "yield";
        case NONLOCALTRANS:
                return "nonlocal";
+       case LOOPEXIT:
+               return "loopexit";
        case LABEL:
                return "label";
        case LOOPENTER:
@@ -115,6 +117,7 @@ IntHashSet * EPRecord::getReturnValueSet() {
        case YIELD:
        case FENCE:
        case NONLOCALTRANS:
+       case LOOPEXIT:
        case LABEL:
        case LOOPENTER:
        case LOOPSTART:
@@ -187,7 +190,6 @@ void EPRecord::print(int f) {
                dprintf(f,"}");
                delete it;
        }
-       dprintf(f, "}");
 
        
        execpoint->print(f);