diff options
Diffstat (limited to 'utils/clflags.ml')
| -rw-r--r-- | utils/clflags.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index bcc7caa2e..f2b55a937 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -33,6 +33,7 @@ and nopervasives = ref false (* -nopervasives *) and preprocessor = ref(None : string option) (* -pp *) and thread_safe = ref false (* -thread *) and noassert = ref false (* -noassert *) +and verbose = ref false (* -verbose *) let dump_rawlambda = ref false (* -drawlambda *) and dump_lambda = ref false (* -dlambda *) |