# HG changeset patch
# User clasohm
# Date 784152290 -3600
# Node ID eb8a3a991c08be969fdd3897a989e347b0dc5b2c
# Parent  028a32af4c4d7609c775ca0bad9252dbfb4e5c0c
changed loadpath

diff -r 028a32af4c4d -r eb8a3a991c08 IOA/ROOT.ML
--- a/IOA/ROOT.ML	Sun Nov 06 21:04:39 1994 +0100
+++ b/IOA/ROOT.ML	Sun Nov 06 21:04:50 1994 +0100
@@ -1,4 +1,4 @@
 goals_limit := 1;
 
-loadpath := "./meta_theory" :: "./example" :: !loadpath;
+loadpath := "IOA/meta_theory" :: "IOA/example" :: !loadpath;
 use_thy "Correctness";