1.1 --- a/test/Tools/isac/BridgeLibisabelle/pbl-met-hierarchy.sml	Sun Apr 19 15:51:31 2020 +0200
     1.2 +++ b/test/Tools/isac/BridgeLibisabelle/pbl-met-hierarchy.sml	Sun Apr 19 16:17:27 2020 +0200
     1.3 @@ -124,7 +124,7 @@
     1.4  get_ptyps (); (*not = []*)
     1.5  "~~~~~ fun nodes, args:"; val (pa, ids, po, wfn, (n::ns)) =
     1.6    (p, []: string list, [0], pbl2file, (get_ptyps ()));
     1.7 -"~~~~~ fun node, args:"; val (pa:filepath, ids, po, wfn, Celem1.Ptyp (id,[n],ns)) = (pa, ids, po, wfn, n);
     1.8 +"~~~~~ fun node, args:"; val (pa:filepath, ids, po, wfn, Store.Ptyp (id,[n],ns)) = (pa, ids, po, wfn, n);
     1.9  val po' = lev_on po;
    1.10  wfn (*= pbl2file*)
    1.11  "~~~~~ fun pbl2file, args:"; val ((path:filepath), (pos:pos), (id:metID), (pbl as {guh,...})) =