src/Pure/theory.ML

--- a/src/Pure/theory.ML	Sun Oct 25 11:58:11 2009 +0100
+++ b/src/Pure/theory.ML	Sun Oct 25 13:04:06 2009 +0100
@@ -89,7 +89,7 @@
 structure ThyData = TheoryDataFun
 (
   type T = thy;
-  val empty_axioms = Name_Space.empty_table "axiom";
+  val empty_axioms = Name_Space.empty_table "axiom" : term Name_Space.table;
   val empty = make_thy (empty_axioms, Defs.empty, ([], []));
   val copy = I;