# HG changeset patch
# User oheimb
# Date 906411523 -7200
# Node ID 863f56450888ea55a39cc994089ee237dad236a8
# Parent  d80e9aeb4a2b391bb2bb536914be8b0c2df4bef1
added dependance on HOL

diff -r d80e9aeb4a2b -r 863f56450888 src/HOLCF/ROOT.ML
--- 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;