1.1 --- a/src/Tools/isac/Interpret/inform.sml	Fri Oct 25 23:23:41 2013 +0100
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Mon Nov 11 14:55:44 2013 +0000
     1.3 @@ -151,6 +151,7 @@
     1.4  
     1.5  val castab = Unsynchronized.ref ([]: castab);
     1.6  
     1.7 +fun assoc_castab x = assoc (!castab, x);
     1.8  
     1.9  fun cas_input_ ((dI,pI,mI): spec) dtss = (*WN110515 reconsider thy..ctxt*)
    1.10    let
    1.11 @@ -179,7 +180,7 @@
    1.12  fun cas_input hdt =
    1.13    let val (h,argl) = strip_comb hdt
    1.14    in
    1.15 -    case assoc (!castab, h) of
    1.16 +    case assoc_castab h of
    1.17       NONE => NONE
    1.18     | SOME (spec as (dI,_,_), argl2dtss) =>
    1.19  	      let