src/Pure/variable.ML

--- a/src/Pure/variable.ML	Fri Nov 11 12:52:57 2011 +0100
+++ b/src/Pure/variable.ML	Fri Nov 11 14:07:20 2011 +0100
@@ -81,7 +81,7 @@
 (** local context data **)
 
 type fixes = string Name_Space.table;
-val empty_fixes: fixes = Name_Space.empty_table "fixed variable";
+val empty_fixes: fixes = Name_Space.empty_table Markup.fixedN;
 
 datatype data = Data of
  {is_body: bool,                        (*inner body mode*)