1 files changed, 1 insertions, 1 deletions
diff --git a/user.c b/user.c
index f95e29c..374edbe 100644
--- a/user.c
+++ b/user.c
@@ -802,7 +802,7 @@ WriteTypeCheck(FILE *file, register const argument_t *arg)
     fprintf(file, "#if\tTypeCheck\n");
     if (akCheck(arg->argKind, akbReplyQC))
     {
-	fprintf(file, "\tif (* (int *) &OutP->%s != * (int *) &%sCheck)\n",
+	fprintf(file, "\tif (BAD_TYPECHECK (&OutP->%s, &%sCheck))\n",
 		arg->argTTName, arg->argVarName);
     }
     else