Synchronize set_strategy with the discharge/load infrastructure#556

Open

herbelin wants to merge 1 commit intorocq-prover:mainfrom

herbelin:main+plug-set_strategy-on-section-mechanism

Commits on Jul 31, 2023

Plug the Global.set_strategy used for registration on the section mechanism.
herbelin
committed