added dependance on HOL
authoroheimb
Mon Sep 21 22:58:43 1998 +0200 (1998-09-21)
changeset 5517863f56450888
parent 5516 d80e9aeb4a2b
child 5518 654ead0ba4f7
added dependance on HOL
src/HOLCF/ROOT.ML
     1.1 --- a/src/HOLCF/ROOT.ML	Mon Sep 21 15:58:27 1998 +0200
     1.2 +++ b/src/HOLCF/ROOT.ML	Mon Sep 21 22:58:43 1998 +0200
     1.3 @@ -7,6 +7,8 @@
     1.4  Should be executed in subdirectory HOLCF.
     1.5  *)
     1.6  
     1.7 +HOL_build_completed;    (* Cause HOLCF to fail if HOL did *)
     1.8 +
     1.9  val banner = "HOLCF";
    1.10  writeln banner;
    1.11