src/Pure/goal.ML
changeset 26939 1035c89b4c02
parent 26713 1c6181def1d0
child 27218 4548c83cd508
     1.1 --- a/src/Pure/goal.ML	Sat May 17 23:53:20 2008 +0200
     1.2 +++ b/src/Pure/goal.ML	Sun May 18 15:04:09 2008 +0200
     1.3 @@ -107,7 +107,7 @@
     1.4  fun prove_multi ctxt xs asms props tac =
     1.5    let
     1.6      val thy = ProofContext.theory_of ctxt;
     1.7 -    val string_of_term = Sign.string_of_term thy;
     1.8 +    val string_of_term = Syntax.string_of_term ctxt;
     1.9  
    1.10      fun err msg = cat_error msg
    1.11        ("The error(s) above occurred for the goal statement:\n" ^