diff options
author | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
commit | 35c0807799717cd720ab28b35851c1a01a67445d (patch) | |
tree | c6237b79fb262d24c8a46ee3ecb714df3e9874d8 /lux-r/source/luxc/lang | |
parent | b55cefcb258f11eeee32c1478faefd1bd09ec871 (diff) |
De-taggification | part 4
Diffstat (limited to 'lux-r/source/luxc/lang')
-rw-r--r-- | lux-r/source/luxc/lang/synthesis/variable.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lux-r/source/luxc/lang/synthesis/variable.lux b/lux-r/source/luxc/lang/synthesis/variable.lux index ecbca7062..82478a2d6 100644 --- a/lux-r/source/luxc/lang/synthesis/variable.lux +++ b/lux-r/source/luxc/lang/synthesis/variable.lux @@ -5,7 +5,7 @@ ["s" set]))) (luxc (lang ["la" analysis] ["ls" synthesis] - [".L" variable {"+" [Variable]}]))) + ["[0]L" variable {"+" [Variable]}]))) (def: (bound-vars path) (-> ls.Path (List Variable)) |