From 8d9836d8deb296a645ff34fe44032c2053f4eef4 Mon Sep 17 00:00:00 2001
From: martin <martin@raphael>
Date: Tue, 1 Nov 2016 16:56:27 +0000
Subject: [PATCH] Fix as suggested by Peter.

---
 src/pointer-analysis/value_set_fi.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pointer-analysis/value_set_fi.cpp b/src/pointer-analysis/value_set_fi.cpp
index 04254d8325a..88752d2fce5 100644
--- a/src/pointer-analysis/value_set_fi.cpp
+++ b/src/pointer-analysis/value_set_fi.cpp
@@ -1719,7 +1719,7 @@ void value_set_fit::apply_code(
   else if(statement==ID_fence)
   {
   }
-  else if(statement==ID_input)
+  else if(statement==ID_input || statement==ID_output)
   {
 	  // doesn't do anything
   }