1.1 --- a/src/Tools/isac/calcelems.sml	Wed Nov 13 12:53:39 2013 +0000
     1.2 +++ b/src/Tools/isac/calcelems.sml	Wed Nov 13 13:01:38 2013 +0000
     1.3 @@ -402,6 +402,8 @@
     1.4  
     1.5  val castab = Unsynchronized.ref ([]: castab);
     1.6  
     1.7 +fun assoc_castab x = assoc (!castab, x);
     1.8 +
     1.9  (*either theID or pblID or metID*)
    1.10  type kestoreID = string list;
    1.11  val e_kestoreID = ["e_kestoreID"];