fix: `Context.setConfig` must update `metaConfig` and `indexConfig` fields

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

4.75k stars 427 forks source link

Closed leodemoura closed 1 week ago

leodemoura commented 1 week ago

This PR fixes a bug at Context.setConfig. It was not propagating the configuration to the redundant fields (cache) metaConfig and indexConfig.