# HG changeset patch
# User wenzelm
# Date 1121362106 -7200
# Node ID 60ab395e6da5112623ffa7b7fcc50c23f39859f1
# Parent  8ff9a80f3c936dd98cd3322e85f7a4ad681f176d
with_path;

diff -r 8ff9a80f3c93 -r 60ab395e6da5 src/HOLCF/FOCUS/ROOT.ML
--- a/src/HOLCF/FOCUS/ROOT.ML	Thu Jul 14 19:28:25 2005 +0200
+++ b/src/HOLCF/FOCUS/ROOT.ML	Thu Jul 14 19:28:26 2005 +0200
@@ -9,6 +9,6 @@
 val banner = "HOLCF/FOCUS";
 writeln banner;
 
-use_thy "Fstreams";
+with_path "~~/src/HOLCF/ex" use_thy "Fstreams";
 use_thy "FOCUS";
 use_thy "Buffer_adm";