# 
# 
# patch "ChangeLog"
#  from [d263769707ff0a4da4b9d79ad629a3d79c1ca4ff]
#    to [b15372578e655bcdf37e95ea35b009737b1ffffb]
# 
# patch "basic_io.hh"
#  from [d8c0da1addf5ce3ebda40f4508db86375620343a]
#    to [9fecd9cbda5b27b2aed0916fa5769aee36f19155]
# 
============================================================
--- ChangeLog	d263769707ff0a4da4b9d79ad629a3d79c1ca4ff
+++ ChangeLog	b15372578e655bcdf37e95ea35b009737b1ffffb
@@ -1,3 +1,7 @@
+2006-12-18  Christof Petig <address@hidden>
+
+	* basic_io.hh (peek): use widen to distinguish '\xff' and EOF
+
 2006-12-18  Matt Johnston  <address@hidden>
 
 	* work.cc (get_revision_id): check that the workspace revision
============================================================
--- basic_io.hh	d8c0da1addf5ce3ebda40f4508db86375620343a
+++ basic_io.hh	9fecd9cbda5b27b2aed0916fa5769aee36f19155
@@ -78,7 +78,7 @@ namespace basic_io
     inline void peek()
     {
       if (LIKELY(curr != in.end()))
-	lookahead = *curr;
+	lookahead = widen<int,char>(*curr);
       else
 	lookahead = EOF;
     }