diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/test2.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/test2.sail b/src/test/test2.sail index 24d82655..1418f990 100644 --- a/src/test/test2.sail +++ b/src/test/test2.sail @@ -1,5 +1,5 @@ function nat id ( n ) = n -function nat main _ = { +function nat effect pure main _ = { id(42); } |