update the testsuite
This commit is contained in:
1 parent
4c77dcf938
commit
56f979d669
1 file changed
+2
-4
@@ -1,7 +1,5 @@
|
||||
␍
|
||||
␍
|
||||
data constructor expected but funpatt.D1 is found instead␍
|
||||
OCCURRED IN␍
|
||||
renaming definition of d in funpatt.gf, line 12␍
|
||||
OCCURRED IN␍
|
||||
renaming module funpatt␍
|
||||
renaming definition of d in funpatt.gf, line 12␍
|
||||
data constructor expected but funpatt.D1 is found instead␍
|
||||
Reference in new issue
Block a user