diff options
Diffstat (limited to 'test.toc')
-rw-r--r-- | test.toc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -13,4 +13,5 @@ point ::= pkg "point"; main ::= fn() { x : point.Point = point.mk_point(13, 14); + puti(x.x + x.y); };
\ No newline at end of file |