1 files changed, 1 insertions, 0 deletions
diff --git a/param.ccl b/param.ccl
index 9eb44d4..f4b73cb 100644
--- a/param.ccl
+++ b/param.ccl
@@ -88,6 +88,7 @@ USES INT out_every
 # various things
 ################
 USES BOOLEAN verbose
+USES BOOLEAN newverbose
 USES BOOLEAN new_filename_scheme
 EXTENDS KEYWORD out_fileinfo
 {