1.1 --- a/README	Wed Oct 08 17:05:01 2008 +0100
     1.2 +++ b/README	Thu Oct 09 12:01:40 2008 +0100
     1.3 @@ -37,10 +37,6 @@
     1.4  
     1.5     Contains programs to check the integrity and correctness of LEMON.
     1.6  
     1.7 -benchmark/
     1.8 -  
     1.9 -   Contains programs for measuring the performance of algorithms.
    1.10 -
    1.11  tools/
    1.12  
    1.13     Various utilities related to LEMON.