diff --git a/core/Runtime.cc b/core/Runtime.cc
index ed28a023b6ad26a23cb7fd014f875a4c2a4980ca..3f046eb9d80d233ea66635b1e7d40c0a23de2557 100644
--- a/core/Runtime.cc
+++ b/core/Runtime.cc
@@ -138,7 +138,6 @@ void TTCN_Runtime::set_port_state(const INTEGER& state, const CHARSTRING& info,
     }
   } else {
     TTCN_error("setstate operation was called without being in a translation procedure.");
-    translation_count--;
   }
 }