comments
authorpaulson
Mon Dec 28 16:48:59 1998 +0100 (1998-12-28)
changeset 6040bd37dc0f56d9
parent 6039 01f67f5f8dd0
child 6041 684ec6a1d802
comments
src/Pure/sign.ML
     1.1 --- a/src/Pure/sign.ML	Mon Dec 28 16:48:22 1998 +0100
     1.2 +++ b/src/Pure/sign.ML	Mon Dec 28 16:48:59 1998 +0100
     1.3 @@ -281,8 +281,11 @@
     1.4    error ("Duplicate initialization of " ^ quote kind ^ " data" ^ of_theory sg);
     1.5  
     1.6  fun err_uninit sg kind =
     1.7 -  error ("Tried to access uninitialized " ^ quote kind ^ " data" ^ of_theory sg);
     1.8 +  error ("Tried to access uninitialized " ^ quote kind ^ " data" ^ 
     1.9 +	 of_theory sg);
    1.10  
    1.11 +(*Trying to access theory data using get / put operations from a different
    1.12 +  instance of the TheoryDataFun result.  Typical cure: re-load all files*)
    1.13  fun err_access sg kind =
    1.14    error ("Unauthorized access to " ^ quote kind ^ " data" ^ of_theory sg);
    1.15