diff -r 17414e2736f4 -r e03059ae2d82 src/Tools/Code/code_preproc.ML
--- a/src/Tools/Code/code_preproc.ML	Thu Jul 09 22:36:11 2009 +0200
+++ b/src/Tools/Code/code_preproc.ML	Thu Jul 09 22:48:12 2009 +0200
@@ -224,7 +224,7 @@
 
 fun default_typscheme_of thy c =
   let
-    val ty = (snd o dest_Const o TermSubst.zero_var_indexes o curry Const c
+    val ty = (snd o dest_Const o Term_Subst.zero_var_indexes o curry Const c
       o Type.strip_sorts o Sign.the_const_type thy) c;
   in case AxClass.class_of_param thy c
    of SOME class => ([(Name.aT, [class])], ty)