3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 09:05:31 +00:00

Fix for module name clash (and thus linking error) in the Visual Studio solution.

This commit is contained in:
Christoph M. Wintersteiger 2018-10-01 12:11:42 +01:00
parent 90fca8b378
commit f0e74b7f2a