# HG changeset patch
# User wenzelm
# Date 880036203 -3600
# Node ID 1663f9056045afefebc54bbb6eb864c5398bb36d
# Parent  e768c42069bb33041e0767ce22facead6689d45b
init_data: improved print method;

diff -r e768c42069bb -r 1663f9056045 src/Pure/theory.ML
--- a/src/Pure/theory.ML	Thu Nov 20 15:28:48 1997 +0100
+++ b/src/Pure/theory.ML	Thu Nov 20 15:30:03 1997 +0100
@@ -74,7 +74,7 @@
   val add_space: string * string list -> theory -> theory
   val add_name: string -> theory -> theory
   val init_data: (string * (object * (object -> object) *
-    (object * object -> object) * (object -> unit))) list -> theory -> theory
+    (object * object -> object) * (Sign.sg -> object -> unit))) list -> theory -> theory
   val get_data: theory -> string -> object
   val put_data: string * object -> theory -> theory
   val prep_ext: theory -> theory