Merge branch 'master' of git.martlubbers.net:clean-tests
authorMart Lubbers <mart@martlubbers.net>
Fri, 5 Jun 2020 08:38:38 +0000 (10:38 +0200)
committerMart Lubbers <mart@martlubbers.net>
Fri, 5 Jun 2020 08:38:38 +0000 (10:38 +0200)
test.icl

index 6df4935..21d4a89 100644 (file)
--- a/test.icl
+++ b/test.icl
@@ -1,5 +1,3 @@
 module test
 class C m :: u:m -> v:m
 
-//Start :: *World -> *(State () *World)
-Start = 42