Fix VisualStudio 2010 compiler warning C4100

Browse source

When compiling with Visual Studio 2010 the buildlog warns of the following: `z3++.h: warning C4100: 'e' : unreferenced formal parameter` and `z3++.h: warning C4100: 'c' : unreferenced formal parameter`. This merge request removes this warning.

...

This commit is contained in:

AlexVonB 2016-09-05 16:22:00 +02:00 • committed by GitHub

parent dc48008d46

commit c6b0fc444c

1 changed files with 1 additions and 1 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files