1 files changed, 3 insertions, 0 deletions
diff --git a/param.ccl b/param.ccl
index 0e490c9..c051736 100644
--- a/param.ccl
+++ b/param.ccl
@@ -232,6 +232,9 @@ USES INT checkpoint_every ""
 {
   : ::
 }
+USES BOOLEAN checkpoint_on_terminate ""
+{
+}
 USES INT checkpoint_keep ""
 {
   : ::