|
@@ -1003,7 +1003,7 @@ BEGIN
|
|
END PublishRegisteredModules;
|
|
END PublishRegisteredModules;
|
|
|
|
|
|
(* procedure that will be called last in a linked kernel *)
|
|
(* procedure that will be called last in a linked kernel *)
|
|
-PROCEDURE {FINAL} Main;
|
|
|
|
|
|
+PROCEDURE {FINAL, NOPAF} Main;
|
|
BEGIN
|
|
BEGIN
|
|
(*Machine.Init;*)
|
|
(*Machine.Init;*)
|
|
Trace.String("publish registered modules"); Trace.Ln;
|
|
Trace.String("publish registered modules"); Trace.Ln;
|