Skip to content

Commit 2945068

Browse files
committed
Visual Studio: silence warnings about local variables assigned-but-not-used
1 parent 5e5e264 commit 2945068

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

jbmc/src/java_bytecode/java_bytecode_parser.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -460,6 +460,7 @@ bool java_bytecode_parsert::parse()
460460

461461
#ifdef _MSC_VER
462462
#define UNUSED
463+
#pragma warning(disable:4189)
463464
#else
464465
#define UNUSED __attribute__((unused))
465466
#endif

0 commit comments

Comments
 (0)