IDP throws unexpected exception

[Former user]

IDP throws exception:

terminate called after throwing an instance of 'std::exception' what(): std::exception ./runidp.sh: line 5: 31364 Aborted (core dumped) "$DIR/idp" -d "$DIR/../" "$@"

File included as attachment

[Broes De Cat]

Works for me on master.

[Bart Bogaerts]

Toch nog eens testen met de laatste gereleaste versie ;)

[Bart Bogaerts]

Blijkbaar lag dit aan de approximatie: applytostructure was te duur.
Dit is gefixed in de huidige master en zal vanaf versie 3.1.4 dus normaal werken