diff -r dafae095d733 -r b1f544c84040 src/Pure/Syntax/local_syntax.ML
--- a/src/Pure/Syntax/local_syntax.ML	Fri Apr 08 15:48:14 2011 +0200
+++ b/src/Pure/Syntax/local_syntax.ML	Fri Apr 08 16:34:14 2011 +0200
@@ -83,7 +83,7 @@
   | prep_mixfix add mode (Type, decl as (x, _, _)) = SOME ((x, false), ((true, add, mode), decl))
   | prep_mixfix add mode (Const, decl as (x, _, _)) = SOME ((x, false), ((false, add, mode), decl))
   | prep_mixfix add mode (Fixed, (x, T, mx)) =
-      SOME ((x, true), ((false, add, mode), (Syntax.mark_fixed x, T, mx)));
+      SOME ((x, true), ((false, add, mode), (Lexicon.mark_fixed x, T, mx)));
 
 fun prep_struct (Fixed, (c, _, Structure)) = SOME c
   | prep_struct (_, (c, _, Structure)) = error ("Bad mixfix declaration for " ^ quote c)