update expected outputs for latest idri2 version

kbertalan · Nov 22, 2022 · 0b17165 · 0b17165
1 parent ec18d78
commit 0b17165
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/tests/examples/expected b/tests/examples/expected
@@ -1,4 +1,5 @@
 1/1: Building Examples (Examples.idr)
+Now compiling the executable: test
 Success: Long form of success
 Success: Short form of success
 Success: Monadic success

diff --git a/tests/examples/output b/tests/examples/output
@@ -1,4 +1,5 @@
 1/1: Building Examples (Examples.idr)
+Now compiling the executable: test
 Success: Long form of success
 Success: Short form of success
 Success: Monadic success