aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/host/jvm/inst.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/host/jvm/inst.lux2
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/lang/host/jvm/inst.lux b/new-luxc/source/luxc/lang/host/jvm/inst.lux
index d63ca3795..cb8d47960 100644
--- a/new-luxc/source/luxc/lang/host/jvm/inst.lux
+++ b/new-luxc/source/luxc/lang/host/jvm/inst.lux
@@ -294,7 +294,7 @@
(function (_ visitor)
(let [num-labels (list.size labels)
labels-array (host.array Label num-labels)
- _ (loop [idx +0]
+ _ (loop [idx 0]
(if (n/< num-labels idx)
(exec (host.array-write idx
(maybe.assume (list.nth idx labels))