debug level

sneeuwballen · Mar 16, 2017 · 182f194 · 182f194
1 parent a5f78dc
commit 182f194
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/prover/env.ml b/src/prover/env.ml
@@ -759,7 +759,7 @@ module Make(X : sig
     in
     let clauses =
       CCVector.flat_map_list (conv_clause_ !_clause_conversion_rules) stmts in
-    Util.debugf ~section 2 "@[<2>clauses:@ @[<v>%a@]@]"
+    Util.debugf ~section 1 "@[<2>clauses:@ @[<v>%a@]@]"
       (fun k->k (Util.pp_seq ~sep:" " C.pp)
           (CCVector.to_seq clauses));
     clauses