Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/BridgeLibisabelle/pbl-met-hierarchy.sml
changeset 60495 54642eaf7bba
parent 60277 4d8f06c7e961
child 60557 0be383bdb883 
     1.1 --- a/src/Tools/isac/BridgeLibisabelle/pbl-met-hierarchy.sml	Wed Jul 27 13:11:43 2022 +0200
     1.2 +++ b/src/Tools/isac/BridgeLibisabelle/pbl-met-hierarchy.sml	Wed Jul 27 13:59:58 2022 +0200
     1.3 @@ -80,7 +80,7 @@
     1.4  	      "  <ID> problem hierarchy </ID>\n" ^
     1.5  	      "  <NO> 1 </NO>\n" ^
     1.6  	      "  <CONTENTREF> pbl_ROOT </CONTENTREF>\n" ^
     1.7 -	     (hierarchy_pbl (get_ptyps ())) ^
     1.8 +	     (hierarchy_pbl (get_pbls ())) ^
     1.9  	     "</NODE>");
    1.10  fun met_hierarchy2file path = 
    1.11      (*str2file*) (path ^ "met_hierarchy.xml" : filepath,
wneuper/isa