-
Keith Wansbrough authored
Fix bug in SetLevels that meant an occurrence of a non-cloned binder, where the non-cloned binder shadowed a cloned binder, resulted in the occurrence incorrectly being substituted with the clone of the *outer* binder. Curious that this never got tickled before!
613ddab2