--- src/evaluate.c.orig	Thu Aug 19 14:59:23 2004
+++ src/evaluate.c	Thu Aug 19 15:00:10 2004
@@ -378,6 +378,7 @@
         }
       }
     done:
+      ;
     }
   }
   if (number_of_singletons == 0) {