1.1 --- a/test/Tools/isac/BridgeLibisabelle/pbl-met-hierarchy.sml Sun Apr 19 11:07:02 2020 +0200
1.2 +++ b/test/Tools/isac/BridgeLibisabelle/pbl-met-hierarchy.sml Sun Apr 19 12:22:37 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, Ptyp (id,[n],ns)) = (pa, ids, po, wfn, n);
1.8 +"~~~~~ fun node, args:"; val (pa:filepath, ids, po, wfn, Celem1.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,...})) =