diff options
Diffstat (limited to 'proofs/tactic_debug.ml')
| -rw-r--r-- | proofs/tactic_debug.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/tactic_debug.ml b/proofs/tactic_debug.ml index 39f1bf287..49026cc0b 100644 --- a/proofs/tactic_debug.ml +++ b/proofs/tactic_debug.ml @@ -104,7 +104,7 @@ let run_com inst = let run ini = if not ini then begin - for i=1 to 2 do + for _i = 1 to 2 do print_char (Char.chr 8);print_char (Char.chr 13) done; msg_tac_debug (str "Executed expressions: " ++ int !skipped ++ fnl()) |