made smlnj happy;
authorwenzelm
Wed May 24 22:04:06 2006 +0200 (2006-05-24)
changeset 1971369c71d40f8a8
parent 19712 3ae3cc4b1eac
child 19714 ceacd4422b97
made smlnj happy;
src/Pure/defs.ML
     1.1 --- a/src/Pure/defs.ML	Wed May 24 21:58:09 2006 +0200
     1.2 +++ b/src/Pure/defs.ML	Wed May 24 22:04:06 2006 +0200
     1.3 @@ -71,7 +71,7 @@
     1.4  
     1.5  fun lookup_list which defs c =
     1.6    (case Symtab.lookup defs c of
     1.7 -    SOME def => which def
     1.8 +    SOME (def: def) => which def
     1.9    | NONE => []);
    1.10  
    1.11  fun specifications_of (Defs defs) = lookup_list (Inttab.dest o #specs) defs;