1.1 --- a/src/sml/ME/ctree.sml	Mon Nov 17 19:58:12 2003 +0100
     1.2 +++ b/src/sml/ME/ctree.sml	Mon Nov 17 20:03:49 2003 +0100
     1.3 @@ -1731,8 +1731,13 @@
     1.4      else if is_pblobj c then (P, Pbl) else (P, Frm);
     1.5  
     1.6  
     1.7 +(*.go to the next calc-head up in the calc-tree.*)
     1.8 +fun movecalchd_up pt ((p, Res):pos') =
     1.9 +    (par_pblobj pt p, Pbl):pos'
    1.10 +  | movecalchd_up pt (p, _) =
    1.11 +    if is_pblobj (get_obj I pt p) 
    1.12 +    then (p, Pbl) else (par_pblobj pt p, Pbl);
    1.13 + 
    1.14  
    1.15  
    1.16 -
    1.17 -
    1.18 -
    1.19 +