fixed typo
authorhaftmann
Wed May 20 22:24:07 2009 +0200 (2009-05-20)
changeset 31218fa54c1e614df
parent 31217 c025f32afd4e
child 31221 0a3a9bd5ca83
child 31222 4a84ae57b65f
fixed typo
src/Tools/value.ML
     1.1 --- a/src/Tools/value.ML	Wed May 20 22:24:07 2009 +0200
     1.2 +++ b/src/Tools/value.ML	Wed May 20 22:24:07 2009 +0200
     1.3 @@ -46,7 +46,7 @@
     1.4       of NONE => value ctxt t
     1.5        | SOME name => value_select name ctxt t;
     1.6      val ty' = Term.type_of t';
     1.7 -    val ctxt' = Variable.auto_fixes t ctxt;
     1.8 +    val ctxt' = Variable.auto_fixes t' ctxt;
     1.9      val p = PrintMode.with_modes modes (fn () =>
    1.10        Pretty.block [Pretty.quote (Syntax.pretty_term ctxt' t'), Pretty.fbrk,
    1.11          Pretty.str "::", Pretty.brk 1, Pretty.quote (Syntax.pretty_typ ctxt' ty')]) ();