From 0f98eb49b4c8810fbed08e7240a148c8d3313c03 Mon Sep 17 00:00:00 2001
From: izaingrid <farkas94ingi@gmail.com>
Date: Thu, 16 Aug 2018 09:25:05 +0200
Subject: [PATCH] removed unused row
Signed-off-by: izaingrid <farkas94ingi@gmail.com>
---
core/Runtime.cc | 1 -
1 file changed, 1 deletion(-)
diff --git a/core/Runtime.cc b/core/Runtime.cc
index ed28a023b..3f046eb9d 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--;
}
}
--
GitLab