changeset 22678 | 23963361278c |
parent 22590 | ac84debdd7d3 |
child 22699 | 938c1011ac94 |
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML Sat Apr 14 17:36:03 2007 +0200 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML Sat Apr 14 17:36:05 2007 +0200 @@ -89,7 +89,7 @@ (case try Name.dest_skolem x of NONE => tagit var_tag s | SOME x' => tagit skolem_tag - (setmp show_question_marks true Syntax.string_of_vname (x', i))) + (setmp show_question_marks true Term.string_of_vname (x', i))) | NONE => tagit var_tag s); val proof_general_trans =