The --enable-theories option should be a no-op w.r.t. the theories that are already enabled, but it currently causes the theory preludes to be enabled twice due to an oversight in the option parsing code.
Switch the option parsing code to use a set instead of a list to represent the enabled theories, ensuring uniqueness.
The
--enable-theoriesoption should be a no-op w.r.t. the theories that are already enabled, but it currently causes the theory preludes to be enabled twice due to an oversight in the option parsing code.Switch the option parsing code to use a set instead of a list to represent the enabled theories, ensuring uniqueness.
Backport of #1235 to v2.6.x.