diff options
Diffstat (limited to 'Test/appterm.art')
-rw-r--r-- | Test/appterm.art | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/appterm.art b/Test/appterm.art index 42f0da9..3d566c0 100644 --- a/Test/appterm.art +++ b/Test/appterm.art @@ -1,4 +1,4 @@ -"name" +"f" const "->" typeOp @@ -15,7 +15,7 @@ cons cons opType constTerm -"name" +"x" const "bool" typeOp |