Skip to content

Commit 776c91d

Browse files
ttuegelttuegel
committed
Revert "test/issue-1665"
This reverts commit 2fb9f41.
1 parent a25907b commit 776c91d

File tree

4 files changed

+0
-33
lines changed

4 files changed

+0
-33
lines changed

‎test/issue-1665/Makefile

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

‎test/issue-1665/issue-1665-spec.k

Lines changed: 0 additions & 12 deletions
This file was deleted.

‎test/issue-1665/issue-1665-spec.k.out.golden

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

‎test/issue-1665/test.k

Lines changed: 0 additions & 19 deletions
This file was deleted.

0 commit comments

Comments
 (0)