# 
# 
# patch "basic_io.hh"
#  from [10569ba5edbb54eb628ddd1dd480e99972109f08]
#    to [4ab584b2a1ad4af5748d9a4d8fc07a45511fa9f9]
# 
============================================================
--- basic_io.hh	10569ba5edbb54eb628ddd1dd480e99972109f08
+++ basic_io.hh	4ab584b2a1ad4af5748d9a4d8fc07a45511fa9f9
@@ -79,7 +79,9 @@ namespace basic_io
     inline void peek()
     {
       if (LIKELY(curr != in.end()))
-	lookahead = widen<int,char>(*curr);
+        // we do want to distinguish between EOF and '\xff', 
+        // so we translate '\xff' to 255u
+	lookahead = widen<unsigned int,char>(*curr);
       else
 	lookahead = EOF;
     }