Skip to content

Commit eaa98f8

Browse files
committed
Typo in hide.exec.yml
1 parent 50e7aca commit eaa98f8

File tree

1 file changed

+1
-1
lines changed
  • key.core/src/test/resources/de/uka/ilkd/key/macros/scripts

1 file changed

+1
-1
lines changed

key.core/src/test/resources/de/uka/ilkd/key/macros/scripts/hide.exec.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ key: |
44
script: |
55
macro split-prop;
66
hide "b ==>";
7-
exception: |2
7+
exception: |-
88
99
Error while executing script: This formula is not on the sequent: b
1010

0 commit comments

Comments
 (0)