mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-13 12:28:44 +00:00
Code Activity

hopefully fix build with VS 2012

Browse source
This commit is contained in:
Nuno Lopes 2019-02-21 15:25:26 +00:00
parent 2f33bafd5a
commit 3d7878bafc
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/util/stopwatch.h
View file

@ -31,7 +31,8 @@ class stopwatch
bool m_running = false;
#endif
static std::chrono::time_point<std::chrono::steady_clock> get() {
// FIXME: just use auto with VS 2015+
static decltype(std::chrono::steady_clock::now()) get() {
return std::chrono::steady_clock::now();
}