diff options
| -rw-r--r-- | test-suite/output/Fixpoint.out | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/test-suite/output/Fixpoint.out b/test-suite/output/Fixpoint.out index 8bc855216b..09bc008860 100644 --- a/test-suite/output/Fixpoint.out +++ b/test-suite/output/Fixpoint.out @@ -14,10 +14,12 @@ fix even_pos_odd_pos 2 intros. destruct H. omega. + apply odd_pos_even_pos in H. omega. - intros. - destruct H. - apply even_pos_odd_pos in H. - omega. + intros. + destruct H. + apply even_pos_odd_pos in H. + omega. + |