[PATCH] Fix char_traits<wchar_t>::move

[Pétur Runólfsson]

Hi,

It seems that the last parameter of char_traits<wchar_t>::move is
int_type instead of size_t.

Petur


2003-07-15  Petur Runolfsson  <peturr02@ru.is>

	* include/bits/char_traits.h (char_traits<wchar_t>::move):
	Change last parameter from int_type to size_t.


Index: include/bits/char_traits.h
===================================================================
RCS file: /cvsroot/gcc/gcc/libstdc++-v3/include/bits/char_traits.h,v
retrieving revision 1.18
diff -c -3 -p -r1.18 char_traits.h
*** include/bits/char_traits.h	9 Jul 2003 00:40:29 -0000	1.18
--- include/bits/char_traits.h	15 Jul 2003 17:04:54 -0000
*************** namespace std 
*** 216,222 ****
        { return wmemchr(__s, __a, __n); }
  
        static char_type* 
!       move(char_type* __s1, const char_type* __s2, int_type __n)
        { return wmemmove(__s1, __s2, __n); }
  
        static char_type* 
--- 216,222 ----
        { return wmemchr(__s, __a, __n); }
  
        static char_type* 
!       move(char_type* __s1, const char_type* __s2, size_t __n)
        { return wmemmove(__s1, __s2, __n); }
  
        static char_type*