--- a/src/Pure/defs.ML Wed Feb 15 21:34:59 2006 +0100
+++ b/src/Pure/defs.ML Wed Feb 15 21:35:00 2006 +0100
@@ -65,8 +65,9 @@
(check_specified c spec specs; Inttab.update spec specs));
in (consts', specified') end);
-fun specifications_of (Defs { specified, ... }) c =
- (map (snd o snd) o Inttab.dest o the o Symtab.lookup specified) c;
+fun specifications_of (Defs {specified, ...}) c =
+ (map (snd o snd) o Inttab.dest o the_default Inttab.empty o Symtab.lookup specified) c;
+
(* empty and merge *)