1.1 --- a/src/Tools/isac/BridgeLibisabelle/datatypes.sml	Thu May 07 12:15:37 2020 +0200
     1.2 +++ b/src/Tools/isac/BridgeLibisabelle/datatypes.sml	Thu May 07 14:11:03 2020 +0200
     1.3 @@ -345,16 +345,16 @@
     1.4    in filt end;
     1.5  
     1.6  fun xml_of_itm_ (I_Model.Cor (dts, _)) =
     1.7 -    XML.Elem (("ITEM", [("status", "correct")]), [xml_of_term (I_Model.comp_dts' dts)])
     1.8 +    XML.Elem (("ITEM", [("status", "correct")]), [xml_of_term (O_Model.comp_dts' dts)])
     1.9    | xml_of_itm_ (I_Model.Syn c) =
    1.10      XML.Elem (("ITEM", [("status", "syntaxerror")]), [XML.Text c])
    1.11    | xml_of_itm_ (I_Model.Typ c) =
    1.12      XML.Elem (("ITEM", [("status", "typeerror")]), [XML.Text c])
    1.13    (*type item also has 'False of cterm' set in preconds2xml WN 050618*)
    1.14    | xml_of_itm_ (I_Model.Inc (dts, _)) = 
    1.15 -    XML.Elem (("ITEM", [("status", "incomplete")]), [xml_of_term (I_Model.comp_dts' dts)])
    1.16 +    XML.Elem (("ITEM", [("status", "incomplete")]), [xml_of_term (O_Model.comp_dts' dts)])
    1.17    | xml_of_itm_ (I_Model.Sup dts) = 
    1.18 -    XML.Elem (("ITEM", [("status", "superfluous")]), [xml_of_term (I_Model.comp_dts' dts)])
    1.19 +    XML.Elem (("ITEM", [("status", "superfluous")]), [xml_of_term (O_Model.comp_dts' dts)])
    1.20    | xml_of_itm_ (I_Model.Mis (d, pid)) = 
    1.21      XML.Elem (("ITEM", [("status", "missing")]), [xml_of_term (d $ pid)])
    1.22    | xml_of_itm_ _ = error "xml_of_itm_: wrong argument"