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/theory/builtin/kinds | |
| parent | 48653e7a5104479b91523afa449810a9cc2fd160 (diff) | |
Better support for building with mingw64; thanks to Nicolas Roche @ Altran for the fix.
Diffstat (limited to 'src/theory/builtin/kinds')
0 files changed, 0 insertions, 0 deletions