--- ../fptools/libraries/base/Data/List.hs	2003-09-01 10:12:02.000000000 +0100
+++ List.hs	2004-10-29 16:38:36.481969520 +0100
@@ -209,7 +209,7 @@
 import GHC.Base
 #endif
 
-infix 5 \\ 
+infix 5 \\\
 
 -- -----------------------------------------------------------------------------
 -- List functions