From 9b573b708b402b9a5186edf9df75e8f618f3961b Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Mon, 24 Apr 2017 16:00:24 -0400 Subject: [PATCH] niti: make `catch_count` writable Signed-off-by: Jean Privat --- src/interpreter/naive_interpreter.nit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.7.9.5