src/Pure/consts.ML
changeset 23086 12320f6e2523
parent 22559 b824487d9b41
child 23655 d2d1138e0ddc
     1.1 --- a/src/Pure/consts.ML	Thu May 24 07:27:44 2007 +0200
     1.2 +++ b/src/Pure/consts.ML	Thu May 24 08:37:37 2007 +0200
     1.3 @@ -202,7 +202,7 @@
     1.4  fun err_inconsistent_constraints cs =
     1.5    error ("Inconsistent type constraints for constant(s) " ^ commas_quote cs);
     1.6  
     1.7 -fun extend_decls naming decl tab = NameSpace.extend_table naming (tab, [decl])
     1.8 +fun extend_decls naming decl tab = NameSpace.extend_table naming [decl] tab
     1.9    handle Symtab.DUPS cs => err_dup_consts cs;
    1.10  
    1.11