# HG changeset patch
# User wenzelm
# Date 878553985 -3600
# Node ID d16ff2cc1089727de16c2e50d18ddb0904fc7b66
# Parent  d0d32dd774402370781ccdd6ef5fa1d64bb5178e
made SML/97 happy;

diff -r d0d32dd77440 -r d16ff2cc1089 src/Pure/pure_thy.ML
--- a/src/Pure/pure_thy.ML	Mon Nov 03 09:58:06 1997 +0100
+++ b/src/Pure/pure_thy.ML	Mon Nov 03 11:46:25 1997 +0100
@@ -69,7 +69,9 @@
 
 in
 
-val theorems_data = (theoremsK, (mk_empty (), mk_empty, mk_empty, print));
+val theorems_data:
+  string * (exn * (exn -> exn) * (exn * exn -> exn) * (exn -> unit)) =
+    (theoremsK, (mk_empty (), mk_empty, mk_empty, print));
 
 end;