From 17c6ca091859456381b26c74be5b0a10958fe104 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Sat, 16 Sep 2017 09:57:03 +0100
Subject: [PATCH] MSVC doesn't have strcasecmp and strncasecmp; use header for
 free()

---
 regression/cbmc/String6/main.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/regression/cbmc/String6/main.c b/regression/cbmc/String6/main.c
index 9b165a6796a..e7ea19cce95 100644
--- a/regression/cbmc/String6/main.c
+++ b/regression/cbmc/String6/main.c
@@ -1,6 +1,6 @@
 #include <assert.h>
 #include <string.h>
-void free(void *);
+#include <stdlib.h>
 
 int main()
 {
@@ -8,8 +8,12 @@ int main()
 
   assert(strcmp(str, "Hello")==0);
   assert(strncmp(str, "Hello", 5)==0);
+
+  #ifndef _MSC_VER
   assert(strcasecmp(str, "HELLO")==0);
   assert(strncasecmp(str, "HELLO", 5)==0);
+  #endif
+
   assert(strcmp(str, "\xff")<0);
   assert(strncmp("ASDxx", "ASDyy", 3)==0);