diff options
| -rw-r--r-- | contrib/first-order/ground.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/first-order/ground.ml4 b/contrib/first-order/ground.ml4 index 78887715a0..926a7918a3 100644 --- a/contrib/first-order/ground.ml4 +++ b/contrib/first-order/ground.ml4 @@ -42,7 +42,7 @@ let _= let ground_tac solver startseq gl= let rec toptac seq gl= - if Tacinterp.get_debug()=Tactic_debug.DebugOn + if Tacinterp.get_debug()=Tactic_debug.DebugOn 0 then Pp.msgnl (Proof_trees.pr_goal (sig_it gl)); match seq.gl with Atomic t-> |