diff options
Diffstat (limited to 'proofs')
| -rw-r--r-- | proofs/tacinterp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/tacinterp.ml b/proofs/tacinterp.ml index fa2769687..e9eae9ac4 100644 --- a/proofs/tacinterp.ml +++ b/proofs/tacinterp.ml @@ -401,7 +401,7 @@ let get_debug () = !debug (* Interprets any expression *) let rec val_interp (evc,env,lfun,lmatch,goalopt,debug) ast = -(* mSGNL [<print_ast ast>]; *) +(* mSGNL [<print_ast ast>];*) (* mSGNL [<print_ast (Termast.ast_of_constr false (Pretty.assumptions_for_print []) c)>] *) let value_interp debug = |