# HG changeset patch
# User haftmann
# Date 1196319346 -3600
# Node ID 845883bd3a6bb4bf1c28261ce1476695d9856f02
# Parent  7a284dc853268e355e9b80c5786f3b1fdf9e9c46
dropped dead code

diff -r 7a284dc85326 -r 845883bd3a6b src/Pure/Isar/code.ML
--- a/src/Pure/Isar/code.ML	Wed Nov 28 19:54:50 2007 +0100
+++ b/src/Pure/Isar/code.ML	Thu Nov 29 07:55:46 2007 +0100
@@ -383,7 +383,6 @@
 
 val _ = Context.add_setup CodeData.init;
 
-fun ch r f = let val x = f (! r) in (r := x; x) end;
 fun thy_data f thy = f ((snd o CodeData.get) thy);
 
 fun get_ensure_init kind data_ref =