# HG changeset patch
# User wenzelm
# Date 921260942 -3600
# Node ID c784ab29f424f1b2cb79031832c18d8b0628e7f3
# Parent  bbbea7fecb93aaf5248d7f1f77903e4e8e7443f6
comment;

diff -r bbbea7fecb93 -r c784ab29f424 src/Pure/Thy/thy_load.ML
--- a/src/Pure/Thy/thy_load.ML	Fri Mar 12 18:48:51 1999 +0100
+++ b/src/Pure/Thy/thy_load.ML	Fri Mar 12 18:49:02 1999 +0100
@@ -24,6 +24,7 @@
   val load_thy: string -> bool -> bool -> (Path.T * File.info) list
 end;
 
+(*backdoor sealed later*)
 signature PRIVATE_THY_LOAD =
 sig
   include THY_LOAD