diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/test2.sail | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/test/test2.sail b/src/test/test2.sail index baffd9b3..be106584 100644 --- a/src/test/test2.sail +++ b/src/test/test2.sail @@ -1,5 +1,3 @@ function nat id ( n ) = n -function nat main _ = { - id ( 42 ); -} +function nat main _ = id(42) |