niti: make `catch_count` writable
authorJean Privat <jean@pryen.org>
Mon, 24 Apr 2017 20:00:24 +0000 (16:00 -0400)
committerJean Privat <jean@pryen.org>
Tue, 25 Apr 2017 16:46:55 +0000 (12:46 -0400)
commit9b573b708b402b9a5186edf9df75e8f618f3961b
treef61e6125bf7ad75e500dd57ec4795d16517e05a1
parente3bc41a76af276845392531451d4a8ce3eaf21b7
niti: make `catch_count` writable

Signed-off-by: Jean Privat <jean@pryen.org>
src/interpreter/naive_interpreter.nit