1.1 --- a/test/Tools/isac/xmlsrc/pbl-met-hierarchy.sml	Thu Nov 21 17:31:20 2013 +0100
     1.2 +++ b/test/Tools/isac/xmlsrc/pbl-met-hierarchy.sml	Thu Nov 21 18:12:17 2013 +0100
     1.3 @@ -108,7 +108,7 @@
     1.4    *)
     1.5  (*Const
     1.6        ("Biegelinie.Biegelinie",
     1.7 -       "(RealDef.real => RealDef.real) => Tools.una") : Term.term
     1.8 +       "("Real.real => "Real.real) => Tools.una") : Term.term
     1.9  ..I.E. THE "Script.ID" _WAS_ ALREADY OCCUPIED BY A 'description'*)
    1.10  
    1.11