diff options
Diffstat (limited to 'stdlib/source/test/lux/ffi/export.rb.lux')
| -rw-r--r-- | stdlib/source/test/lux/ffi/export.rb.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/ffi/export.rb.lux b/stdlib/source/test/lux/ffi/export.rb.lux index c785c9abd..f107536f2 100644 --- a/stdlib/source/test/lux/ffi/export.rb.lux +++ b/stdlib/source/test/lux/ffi/export.rb.lux @@ -11,7 +11,7 @@ ["/[1]" //]]]) (with_expansions [<nat> (static.random_nat)] - (/.export: + (/.export (def: nullary Nat <nat>) @@ -34,7 +34,7 @@ Test (<| (_.covering /._) (all _.and - (_.coverage [/.export:] + (_.coverage [/.export] (and (n.= <nat> (..nullary [])) (n.= (n.+ <nat> <nat>) (..unary <nat>)) (n.= <nat> (..CONSTANT)) |