# HG changeset patch
# User haftmann
# Date 1242851047 -7200
# Node ID fa54c1e614df5d1e988df67b99978a2f4a56c80c
# Parent  c025f32afd4e0581fe6927f023a4f005e0a2b26c
fixed typo

diff -r c025f32afd4e -r fa54c1e614df src/Tools/value.ML
--- a/src/Tools/value.ML	Wed May 20 22:24:07 2009 +0200
+++ b/src/Tools/value.ML	Wed May 20 22:24:07 2009 +0200
@@ -46,7 +46,7 @@
      of NONE => value ctxt t
       | SOME name => value_select name ctxt t;
     val ty' = Term.type_of t';
-    val ctxt' = Variable.auto_fixes t ctxt;
+    val ctxt' = Variable.auto_fixes t' ctxt;
     val p = PrintMode.with_modes modes (fn () =>
       Pretty.block [Pretty.quote (Syntax.pretty_term ctxt' t'), Pretty.fbrk,
         Pretty.str "::", Pretty.brk 1, Pretty.quote (Syntax.pretty_typ ctxt' ty')]) ();