diff options
author | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
commit | fb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch) | |
tree | 28dbec5e8e6a1307a5aee28772d9aa897349bc57 /lux-php/source | |
parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) |
De-sigil-ification: suffix : [Part 15]
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 e9041321e..6dd73842c 100644 --- a/lux-php/source/program.lux +++ b/lux-php/source/program.lux @@ -177,7 +177,7 @@ [StructureValue] ) -(type: Reader +(type Reader (-> java/lang/Object (Try Any))) (exception: (unknown_kind_of_object [object java/lang/Object]) |