dropped dead code
authorhaftmann
Thu Nov 29 07:55:46 2007 +0100 (2007-11-29)
changeset 25501845883bd3a6b
parent 25500 7a284dc85326
child 25502 9200b36280c0
dropped dead code
src/Pure/Isar/code.ML
     1.1 --- a/src/Pure/Isar/code.ML	Wed Nov 28 19:54:50 2007 +0100
     1.2 +++ b/src/Pure/Isar/code.ML	Thu Nov 29 07:55:46 2007 +0100
     1.3 @@ -383,7 +383,6 @@
     1.4  
     1.5  val _ = Context.add_setup CodeData.init;
     1.6  
     1.7 -fun ch r f = let val x = f (! r) in (r := x; x) end;
     1.8  fun thy_data f thy = f ((snd o CodeData.get) thy);
     1.9  
    1.10  fun get_ensure_init kind data_ref =