output statements

smowton · Sep 12, 2017 · 3896110 · 3896110
1 parent 8fc714d
commit 3896110
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/path-symex/path_symex.cpp b/src/path-symex/path_symex.cpp
@@ -1090,6 +1090,10 @@ void path_symext::operator()(
       {
         // just needs to be recorded
       }
+      else if(statement==ID_output)
+      {
+        // just needs to be recorded
+      }
       else
         throw "unexpected OTHER statement: "+id2string(statement);
     }