diff options
| author | Eduardo Julian | 2022-10-21 14:37:09 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-10-21 14:37:09 -0400 |
| commit | 74e8954ee269aa5dea39f1e4e3c55e8d387384a8 (patch) | |
| tree | 2e29609e1c57a130c5a7851db67426bb9feebcbc /lux-python/source | |
| parent | 07d346632a6aff8ce2b66b39b818c298de48df5a (diff) | |
Clean-up after format change for extensions [part 2]
Diffstat (limited to 'lux-python/source')
| -rw-r--r-- | lux-python/source/program.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lux-python/source/program.lux b/lux-python/source/program.lux index 2e66a33da..8a995be27 100644 --- a/lux-python/source/program.lux +++ b/lux-python/source/program.lux @@ -498,7 +498,7 @@ (<| (as Extender) (function (_ handler)) (as Handler) - (function (_ name phase)) + (function (_ phase)) (as Phase) (function (_ archive parameters)) (as Operation) |