fix alpha-conversion problems in ehoare #872
+12
−4
Merged
Loading