diff --git a/sbin/veriexec/veriexec.c b/sbin/veriexec/veriexec.c
index 407100ab48f..815aaae5e81 100644
--- a/sbin/veriexec/veriexec.c
+++ b/sbin/veriexec/veriexec.c
@@ -140,8 +140,7 @@ main(int argc, char *argv[])
 {
 	long long converted_int;
 	uint32_t state;
-	char c;
-	int x;
+	int c, x;
 
 	if (argc < 2)
 		return (veriexec_usage());