1.1 --- a/io_helper.cc	Wed Aug 13 17:24:25 2008 +0100
     1.2 +++ b/io_helper.cc	Fri Oct 10 13:36:20 2008 +0100
     1.3 @@ -27,7 +27,7 @@
     1.4        }
     1.5        else
     1.6        {
     1.7 -        throw DataFormatError("Bad format");
     1.8 +        throw FormatError("Bad format");
     1.9        }
    1.10      }
    1.11    }