Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add a missing expression clone (dafny-lang#3346)
During PR dafny-lang#2734, a refactoring of the cloner mistakenly omitted a clone call for one sub-expression of TypeRHS, leading to issue dafny-lang#3343. This PR reinstates that clone. Fixes dafny-lang#3343.
- Loading branch information