Prelude from custom driver files not extracted
When specifying several driver files when using
why3 extract, only preludes from the first driver are taken into account.
Here is a first example driver (
prelude "Prelude A" prelude "Prelude B" printer "ocaml"
And a second driver (
prelude "Prelude C"
And the extraction (
why3 extract -D driver1.drv -D driver2.drv test.mlw) shows
Prelude A and
B but I am missing
Prelude A Prelude B