diff options
| -rw-r--r-- | isar/isar-autotest.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el index 398b6942..bee8d15a 100644 --- a/isar/isar-autotest.el +++ b/isar/isar-autotest.el @@ -59,6 +59,7 @@ (pg-autotest quit-prover) + (pg-autotest remark "Complete") (pg-autotest timetaken 'total) (pg-autotest exit) |