--- sml/trunk/src/cm/depend/build.sml 1999/09/16 02:33:21 443 +++ sml/trunk/src/cm/depend/build.sml 1999/09/16 05:32:14 444 @@ -13,7 +13,7 @@ gimports: impexp SymbolMap.map, smlfiles: SmlInfo.info list, localdefs: SmlInfo.info SymbolMap.map, - subgroups: GroupGraph.group list, + subgroups: 'a, reqpriv: GroupGraph.privileges } * SymbolSet.set option (* filter *) * GeneralParams.info