src/Pure/sign.ML
changeset 4052 026069ba0316
parent 4051 6b72919c9b4b
child 4124 1af16493c57f
     1.1 --- a/src/Pure/sign.ML	Fri Oct 31 15:15:06 1997 +0100
     1.2 +++ b/src/Pure/sign.ML	Fri Oct 31 15:19:50 1997 +0100
     1.3 @@ -171,7 +171,7 @@
     1.4  
     1.5  (* data *)
     1.6  
     1.7 -fun access_data f sg = f (#data (rep_sg sg))
     1.8 +fun access_data f sg k = f (#data (rep_sg sg)) k
     1.9    handle ERROR => error ("of theory " ^ str_of_sg sg);
    1.10  
    1.11  val get_data = access_data Data.get;