Commit ba0ea56efab9caa942d59bf51c78e490969cab87

Behdad Esfahbod 2018-06-11T23:24:41

[substitute-closure] Rename function for clarity