diff options
Diffstat (limited to '')
| -rw-r--r-- | lux-jvm/source/luxc/lang/synthesis/variable.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lux-jvm/source/luxc/lang/synthesis/variable.lux b/lux-jvm/source/luxc/lang/synthesis/variable.lux index 73f1e031d..12594e154 100644 --- a/lux-jvm/source/luxc/lang/synthesis/variable.lux +++ b/lux-jvm/source/luxc/lang/synthesis/variable.lux @@ -6,7 +6,7 @@ ["s" set]))) (luxc (lang ["la" analysis] ["ls" synthesis] - [".L" variable {"+" [Variable]}]))) + ["[0]L" variable {"+" [Variable]}]))) (def: (bound-vars path) (-> ls.Path (List Variable)) |