- TCHECK2(*cp, 17);
- printf("%s%s/%u", sep, ip6addr_string(cp), *(cp + 16));
+ ND_TCHECK2(*cp, 17);
+#ifdef INET6
+ ND_PRINT((ndo, "%s%s/%u", sep, ip6addr_string(ndo, cp), *(cp + 16)));
+#else
+ ND_PRINT((ndo, "%s(compiled w/o IPv6)/%u", sep, *(cp + 16)));
+#endif /* INET6 */