mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-05 16:40:52 +00:00
Code Activity

fix VS build, take 2

Browse source
This commit is contained in:
Nuno Lopes 2019-02-21 15:52:52 +00:00
parent 3d7878bafc
commit 6598aedbb2
3 changed files with 10 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/util/CMakeLists.txt
View file

@ -56,7 +56,6 @@ z3_add_component(util
symbol.cpp
timeit.cpp
timeout.cpp
timer.cpp
trace.cpp
util.cpp
warning.cpp