Skip to content

Commit 20552e1

Browse files
liufengyunliufengyun
committed
fix error with check file
1 parent b720fe2 commit 20552e1

File tree

2 files changed

+1
-1
lines changed

2 files changed

+1
-1
lines changed

‎tests/patmat/3543.check

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

‎tests/patmat/i3645.check

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

0 commit comments

Comments
 (0)