Minor syntactic change.
[pytorch] / miniflow_dist.pdf
2020-02-23 Francois FleuretUpdate.