src/HOLCF/FOCUS/ROOT.ML

--- a/src/HOLCF/FOCUS/ROOT.ML	Tue Sep 07 15:59:16 2004 +0200
+++ b/src/HOLCF/FOCUS/ROOT.ML	Tue Sep 07 16:02:42 2004 +0200
@@ -9,5 +9,6 @@
 val banner = "HOLCF/FOCUS";
 writeln banner;
 
+use_thy "Fstreams";
 use_thy "FOCUS";
 use_thy "Buffer_adm";