--- a/stage4/generate_c/generate_c_sfc.cc	Mon Feb 11 10:26:35 2008 +0100
+++ b/stage4/generate_c/generate_c_sfc.cc	Tue Feb 26 10:59:48 2008 +0100
@@ -31,8 +31,6 @@
  * code.
  */
 
-#include <list>
-
 typedef struct
 {
   transition_c *symbol;