1.1 --- a/src/Tools/isac/Interpret/ptyps.sml	Mon Jan 20 16:15:34 2014 +0100
     1.2 +++ b/src/Tools/isac/Interpret/ptyps.sml	Tue Jan 21 00:27:44 2014 +0100
     1.3 @@ -399,25 +399,6 @@
     1.4  	else del k (ptyps @ [Ptyp (k', [p], ps)]) pys;
     1.5  in del k [] ptyps end;
     1.6  
     1.7 -fun insrt _ pbt [k] [] = [Ptyp (k, [pbt],[])]
     1.8 -			 
     1.9 -  | insrt d pbt [k] ((Ptyp (k', [p], ps))::pys) =
    1.10 -((*tracing("### insert 1: ks = "^(strs2str [k])^"    k'= "^k');*)
    1.11 -     if k=k'
    1.12 -     then ((Ptyp (k', [pbt], ps))::pys)
    1.13 -     else (*ev.newly added pbt is free _only_ with 'last_elem pblID'*)
    1.14 -	 ((Ptyp (k', [p], ps))::(insrt d pbt [k] pys))
    1.15 -)			 
    1.16 -  | insrt d pbt (k::ks) ((Ptyp (k', [p], ps))::pys) =
    1.17 -((*tracing("### insert 2: ks = "^(strs2str (k::ks))^"    k'= "^k');*)
    1.18 -     if k=k'
    1.19 -     then ((Ptyp (k', [p], insrt d pbt ks ps))::pys)
    1.20 -     else 
    1.21 -	 if length pys = 0
    1.22 -	 then error ("insert: not found "^(strs2str (d:pblID)))
    1.23 -	 else ((Ptyp (k', [p], ps))::(insrt d pbt (k::ks) pys))
    1.24 -);
    1.25 -
    1.26  
    1.27  fun coll_pblguhs pbls =
    1.28      let fun node coll (Ptyp (_,[n],ns)) =