Skip to content

Commit 27ccf15

Browse files
liufengyunliufengyun
committed
fix error with check file
1 parent e04e529 commit 27ccf15

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

‎tests/patmat/3543.check

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎tests/patmat/i3645.check

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
20: Pattern Match Exhaustivity: KInt
2+

0 commit comments

Comments
 (0)