setLclEnv in solveForAll should be restoreLclEnv
I am pretty sure that the setLclEnv
call in solveForAll
should be a restoreLclEnv
call.
See note "restoreLclEnv vs setLclEnv".
cc @simonpj
I am pretty sure that the setLclEnv
call in solveForAll
should be a restoreLclEnv
call.
See note "restoreLclEnv vs setLclEnv".
cc @simonpj