From: Jean Privat <jean@pryen.org>
Date: Mon, 24 Apr 2017 20:00:24 +0000 (-0400)
Subject: niti: make `catch_count` writable
X-Git-Url: http://nitlanguage.org

niti: make `catch_count` writable

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/src/interpreter/naive_interpreter.nit b/src/interpreter/naive_interpreter.nit
index 7b22a58..eced30f 100644
--- a/src/interpreter/naive_interpreter.nit
+++ b/src/interpreter/naive_interpreter.nit
@@ -119,7 +119,7 @@ class NaiveInterpreter
 	var escapemark: nullable EscapeMark = null
 
 	# The count of `catch` blocs that have been encountered and can catch an abort
-	var catch_count = 0
+	var catch_count = 0 is writable
 
 	# The last error thrown on abort/runtime error where catch_count > 0
 	var last_error: nullable FatalError = null