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 /licentia/source/test/licentia.lux | |
| parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) | |
De-sigil-ification: suffix : [Part 15]
Diffstat (limited to '')
| -rw-r--r-- | licentia/source/test/licentia.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux index d00497877..8d7bdc120 100644 --- a/licentia/source/test/licentia.lux +++ b/licentia/source/test/licentia.lux @@ -152,7 +152,7 @@ ..addendum )) -(type: (Concern a) +(type (Concern a) (-> (-> Text Bit) a Test)) (def (about_grant present? termination) |