diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-11 15:30:31 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-11 15:30:31 -0400 |
commit | d8e31379256a8fc0c6d7993e42fc94a9dc35f4ce (patch) | |
tree | d457038cdf38ab3a7ca02fd4693fa77c708dbbdd /src/compat/cvc3_compat.cpp | |
parent | 48653e7a5104479b91523afa449810a9cc2fd160 (diff) |
Better support for building with mingw64; thanks to Nicolas Roche @ Altran for the fix.
Diffstat (limited to 'src/compat/cvc3_compat.cpp')
0 files changed, 0 insertions, 0 deletions