diff --git a/regression/cbmc-cover/branch3/main.c b/regression/cbmc-cover/branch3/main.c
index de8af7752f0..061e4b7f079 100644
--- a/regression/cbmc-cover/branch3/main.c
+++ b/regression/cbmc-cover/branch3/main.c
@@ -4,7 +4,7 @@ int main()
 {
   char ch;
   unsigned state=0;
-  while((ch=getc(stdin))!=-1)
+  while((ch = getc(stdin)) != (char)-1)
   {
     switch(state)
     {