| commit | 5049e52a5b579e4fed2ad77917451b79fbec8402 | [log] [tgz] |
|---|---|---|
| author | Trevor Hansen <trev_abroad@yahoo.com> | Wed Apr 06 12:10:42 2022 |
| committer | Trevor Hansen <trev_abroad@yahoo.com> | Wed Apr 06 12:10:42 2022 |
| tree | 8b9251d076dd517d5772f41bd8334b84ca0443f2 | |
| parent | 11c1cc39792208e24250541069e057cd9b96e9d9 [diff] |
Remove simplifier from substitution map.