diff options
Diffstat (limited to 'testsuite/tests/backpack/reexport/bkpreex06.stderr')
| -rw-r--r-- | testsuite/tests/backpack/reexport/bkpreex06.stderr | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/backpack/reexport/bkpreex06.stderr b/testsuite/tests/backpack/reexport/bkpreex06.stderr index 225a8aacc8..6b8b2978b7 100644 --- a/testsuite/tests/backpack/reexport/bkpreex06.stderr +++ b/testsuite/tests/backpack/reexport/bkpreex06.stderr @@ -4,5 +4,7 @@ [2 of 3] Processing q [1 of 1] Compiling A2[sig] ( q/A2.hsig, nothing ) [3 of 3] Processing r - [1 of 2] Compiling A1[sig] ( r/A1.hsig, nothing ) - [2 of 2] Compiling A2[sig] ( r/A2.hsig, nothing ) + [1 of 4] Compiling A1[sig] ( r/A1.hsig, nothing ) + [2 of 4] Compiling A2[sig] ( r/A2.hsig, nothing ) + [3 of 4] Instantiating p + [4 of 4] Instantiating q |