diff options
author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2022-04-21 14:44:22 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-21 14:44:22 +0200 |
commit | 5857c571388a4349934a266ca187b2c2ac10818c (patch) | |
tree | 77895db34b52899efd7860830c6b9e89504a1336 /src/Coxeter_triangulation/doc | |
parent | 1401feb87f4ee04747d6df7fb1168dfe3dc8cf58 (diff) |
Make Windows compilation fails on error (#598)
Use '-DEIGEN_DEFAULT_DENSE_INDEX_TYPE=int' as a workaround
Diffstat (limited to 'src/Coxeter_triangulation/doc')
0 files changed, 0 insertions, 0 deletions