1.1 --- a/src/Tools/isac/xmlsrc/datatypes.sml	Fri Jul 24 07:47:06 2015 +0200
     1.2 +++ b/src/Tools/isac/xmlsrc/datatypes.sml	Fri Jul 24 08:09:06 2015 +0200
     1.3 @@ -458,9 +458,9 @@
     1.4  fun xml_of_modspec ((b, p_, head, gfr, pre, spec): ocalhd) =
     1.5    XML.Elem (("CALCHEAD", [("status", if b then "correct" else "incorrect")]), [
     1.6      XML.Elem (("HEAD", []), [xml_of_term head]),
     1.7 +    xml_of_model gfr pre,
     1.8      XML.Elem (("BELONGSTO", []), [
     1.9        XML.Text (case p_ of Pbl => "Pbl" | Met => "Met" | _ => "Und")]),
    1.10 -    xml_of_model gfr pre,
    1.11      xml_of_spec spec])
    1.12  
    1.13  fun pos'calchead2xml j (p:pos', (b, p_, head, gfr, pre, spec): ocalhd) =
    1.14 @@ -480,9 +480,9 @@
    1.15    XML.Elem (("CALCHEAD", [("status", if b then "correct" else "incorrect")]), [
    1.16      xml_of_pos "POSITION" p,
    1.17      XML.Elem (("HEAD", []), [xml_of_term head]),
    1.18 +    xml_of_model gfr pre,
    1.19      XML.Elem (("BELONGSTO", []), [
    1.20        XML.Text (case p_ of Pbl => "Pbl" | Met => "Met" | _ => "Und")]),
    1.21 -    xml_of_model gfr pre,
    1.22      xml_of_spec spec])
    1.23  
    1.24  fun sub2xml j (id, value) =