projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3271242) | patch
Fix error in Windows build
authorAndres Noetzli <noetzli@stanford.edu>
Tue, 16 May 2017 18:08:30 +0000 (11:08 -0700)
committerAndres Noetzli <noetzli@stanford.edu>
Tue, 16 May 2017 18:08:30 +0000 (11:08 -0700)
commit41fb22dfc99a431d471237e48be1acaf01e8cc59
tree83abf28836588b69cc34dc36e0f70dfbbcabba07tree
parent3271242a28d7b619152c1fec69c6bd63244b7267commit | diff
Fix error in Windows build

The Windows build was missing the `print_statistics()` function, this commit
moves the function out of the `#ifndef __WIN32__` guard.
src/main/util.cpp diff | blob | history