avoid overwriting proofsEnabled
through default parameter
#1934
Loading
proofsEnabled
through default parameter
#1934