Guillaume Damiand 3ed36aa4fd Initialize dart info, when non void; otherwise isomorphism is sometimes false (on some 32 bits os in release mode).

2018-01-20 18:10:22 +01:00

..

Generalized_map

Initialize dart info, when non void; otherwise isomorphism is sometimes false (on some 32 bits os in release mode).

2018-01-20 18:10:22 +01:00