Fix a couple of typos in Simplification.texi
commitc411758e54939f82266c90376ee455f61c2cf8f0
authorKris Katterjohn <katterjohn@gmail.com>
Mon, 17 Jan 2022 19:50:16 +0000 (17 14:50 -0500)
committerKris Katterjohn <katterjohn@gmail.com>
Mon, 17 Jan 2022 19:50:16 +0000 (17 14:50 -0500)
treec1002034f4db2d30510b0ba70ef1f8d86dafd1e3
parentd109060efe32f878ac91b00cd3c5f01878275271
Fix a couple of typos in Simplification.texi
doc/info/Simplification.texi