diff --git a/spec/posix.td b/spec/posix.td
index c20cbef..1bf64f0 100644
--- a/spec/posix.td
+++ b/spec/posix.td
@@ -228,7 +228,9 @@
         FunctionSpec<
             "strtok_r",
             RetValSpec<CharPtr>,
-            [ArgSpec<ConstRestrictedCharPtr>, ArgSpec<CharRestrictedDoublePtr>]
+            [ArgSpec<RestrictedCharPtr>,
+             ArgSpec<ConstRestrictedCharPtr>,
+             ArgSpec<CharRestrictedDoublePtr>]
         >,
     ]
   >;