src/Pure/term.scala
changeset 43767 e0219ef7f84c
parent 43731 70072780e095
child 43778 ce9189450447
     1.1 --- a/src/Pure/term.scala	Tue Jul 12 16:00:05 2011 +0900
     1.2 +++ b/src/Pure/term.scala	Tue Jul 12 10:44:30 2011 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4  
     1.5    object Encode
     1.6    {
     1.7 -    import XML_Data.Encode._
     1.8 +    import XML.Encode._
     1.9  
    1.10      val indexname: T[Indexname] = pair(string, int)
    1.11  
    1.12 @@ -67,7 +67,7 @@
    1.13  
    1.14    object Decode
    1.15    {
    1.16 -    import XML_Data.Decode._
    1.17 +    import XML.Decode._
    1.18  
    1.19      val indexname: T[Indexname] = pair(string, int)
    1.20