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-php/source | |
| parent | 07d346632a6aff8ce2b66b39b818c298de48df5a (diff) | |
Clean-up after format change for extensions [part 2]
Diffstat (limited to 'lux-php/source')
| -rw-r--r-- | lux-php/source/program.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lux-php/source/program.lux b/lux-php/source/program.lux index 94c4f9414..7e4cbee67 100644 --- a/lux-php/source/program.lux +++ b/lux-php/source/program.lux @@ -528,7 +528,7 @@ (<| (as Extender) (function (@self handler)) (as Handler) - (function (@self name phase)) + (function (@self phase)) (as Phase) (function (@self archive parameters)) (as Operation) |