no __wchar_t apparently

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4302 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2014-07-13 21:05:28 +00:00 · 2014-07-13 21:05:28 +00:00 · 5d5f46731d
parent 7cd27bee28
commit 5d5f46731d
1 changed files with 1 additions and 1 deletions
--- a/regression/ansi-c/VS_extensions1/main.c
+++ b/regression/ansi-c/VS_extensions1/main.c
@ -111,7 +111,7 @@ int __unaligned *unaligned_int_ptr;

 // __w64

-__wchar_t some_wchar;
+// __wchar_t some_wchar;

 // wchar_t some_other_wchar;