# HG changeset patch
# User lcp
# Date 754746085 -3600
# Node ID 5729f67574737aa4f97a15e8d7677b07f82c47a6
# Parent  c02750f7f604f4feeba81000b0fd93a5db4c4f32
now declares FOLP_build_completed

diff -r c02750f7f604 -r 5729f6757473 src/FOLP/ROOT.ML
--- a/src/FOLP/ROOT.ML	Tue Nov 30 15:31:07 1993 +0100
+++ b/src/FOLP/ROOT.ML	Wed Dec 01 12:41:25 1993 +0100
@@ -79,3 +79,5 @@
 
 use "../Pure/install_pp.ML";
 print_depth 8;
+
+val FOLP_build_completed = ();	(*indicate successful build*)