1 files changed, 3 insertions, 0 deletions

diff --git a/param.ccl b/param.ccl
index e7aae7c..75315ea 100644
--- a/param.ccl
+++ b/param.ccl
@@ -275,6 +275,9 @@ USES INT checkpoint_every ""
 {
   : ::
 }
+USES BOOLEAN checkpoint_on_terminate ""
+{
+}
 USES INT checkpoint_keep ""
 {
   : ::