--- sml/trunk/src/cm/main/general-params.sml 1999/06/04 09:00:10 317 +++ sml/trunk/src/cm/main/general-params.sml 1999/06/07 09:32:09 318 @@ -10,6 +10,7 @@ structure GeneralParams = struct type param = { primconf : Primitive.configuration, + pcmode : PathConfig.mode, fnpolicy: FilenamePolicy.policy, keep_going: bool, pervasive: GenericVC.Environment.environment,