diff options
| -rw-r--r-- | toplevel/vernacentries.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml index d888edc9d9..3768842b5c 100644 --- a/toplevel/vernacentries.ml +++ b/toplevel/vernacentries.ml @@ -106,7 +106,7 @@ let show_prooftree () = and evc = evc_of_pftreestate pts in msg (Refiner.print_proof evc (Global.named_context()) pf) -let print_subgoals () = if_verbose msg (pr_open_subgoals ()) +let print_subgoals () = if_verbose (fun () -> msg (pr_open_subgoals ())) () (* Simulate the Intro(s) tactic *) |