Fix objc_skip_offset() to avoid skipping and extra character

16 years ago · c8412c806d
parent 09ed66f819
commit c8412c806d
1 changed files with 2 additions and 2 deletions
--- a/encoding.c
+++ b/encoding.c
@ -684,8 +684,8 @@ objc_skip_offset (const char *type)
 {
  if (*type == '+')
    type++;
-  while (isdigit ((unsigned char) *++type))
+  while (isdigit ((unsigned char) *type))
-    ;
+    type++;
  return type;
 }