@@ -197,7 +197,7 @@ let new_context common_ctx writer debug file_info =
ctx_common = common_ctx;
ctx_writer = writer;
ctx_output = (writer#write);
- ctx_dbgout = if debug>0 then (writer#write) else (fun _ -> ());
+ ctx_dbgout = if debug>1 then (writer#write) else (fun _ -> ());
ctx_calling = false;
ctx_assigning = false;
ctx_debug_level = debug;