From cd6127a3e68b7eec5721916c3259c39aed6786b7 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <mt@debian.org>
Date: Fri, 6 Jul 2018 18:55:45 +0100
Subject: [PATCH] Regression test should succeed even if char is an unsigned
 type

---
 regression/cbmc-cover/branch3/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/regression/cbmc-cover/branch3/main.c b/regression/cbmc-cover/branch3/main.c
index de8af7752f..061e4b7f07 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)
     {