diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/documentation.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux index 9e6566d91..8e6fd65d2 100644 --- a/stdlib/source/test/lux/documentation.lux +++ b/stdlib/source/test/lux/documentation.lux @@ -38,7 +38,7 @@ (with_expansions ['definition_description' (..description) 'sub_description' (..description) 'super_description' (..description)] - (as_is (def: .public g!default + (these (def: .public g!default Nat 123) |