cadical: fatal error: 'instantiateonce' ordered before 'idrup' in 'options.hpp'

[Zhengyu Li]

We tried to compile the current version of CaDiCaL, when running ./build/cadical file, we run into the following error:

cadical: fatal error: 'instantiateonce' ordered before 'idrup' in 'options.hpp'

We believe that the error can be fixed by moving line 108 OPTION( idrup, 0, 0, 1,0,0,1, "incremental proof format") \ to after line 100. Thank you.

[Armin Biere]

This accidentally slipped into the main branch and is fixed in the newest version.