# HG changeset patch
# User lcp
# Date 797158506 -7200
# Node ID 0ad2b1da57ff323ffbe8a4ec0a1577527d44490a
# Parent  9bf3816298d0cab0dc314ae00b3b74821fdedc21
Now sets loadpath.

diff -r 9bf3816298d0 -r 0ad2b1da57ff src/CCL/ex/ROOT.ML
--- a/src/CCL/ex/ROOT.ML	Thu Apr 06 10:53:21 1995 +0200
+++ b/src/CCL/ex/ROOT.ML	Thu Apr 06 10:55:06 1995 +0200
@@ -10,6 +10,8 @@
 
 writeln"Root file for CCL examples";
 proof_timing := true;
+loadpath := [".", "ex"];
+
 time_use_thy "ex/Nat";
 time_use_thy "ex/List";
 time_use_thy "ex/Stream";