added dependance on HOL

--- a/src/HOLCF/ROOT.ML	Mon Sep 21 15:58:27 1998 +0200
+++ b/src/HOLCF/ROOT.ML	Mon Sep 21 22:58:43 1998 +0200
@@ -7,6 +7,8 @@
 Should be executed in subdirectory HOLCF.
 *)
 
+HOL_build_completed;    (* Cause HOLCF to fail if HOL did *)
+
 val banner = "HOLCF";
 writeln banner;