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/python/include/Simplex_tree_interface.h | |
| parent | 1401feb87f4ee04747d6df7fb1168dfe3dc8cf58 (diff) | |
Make Windows compilation fails on error (#598)
Use '-DEIGEN_DEFAULT_DENSE_INDEX_TYPE=int' as a workaround
Diffstat (limited to 'src/python/include/Simplex_tree_interface.h')
0 files changed, 0 insertions, 0 deletions