--- a/src/Pure/pure.ML Thu Nov 01 21:09:53 2001 +0100 +++ b/src/Pure/pure.ML Thu Nov 01 21:10:13 2001 +0100 @@ -21,7 +21,8 @@ Present.setup @ Isamode.setup @ ProofGeneral.setup @ - Codegen.setup; + Codegen.setup @ + Goals.setup; in structure Pure = struct