# HG changeset patch
# User wenzelm
# Date 1004645413 -3600
# Node ID 8d2372c6b5f3deace7444ab7de69db8c31d17897
# Parent  1d534baa282702b4211e4311c9b7e9eff4f6c6f8
Goals.setup;

diff -r 1d534baa2827 -r 8d2372c6b5f3 src/Pure/pure.ML
--- 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