Merge pull request #2564 from whitequark/flatten-improve-error
authorwhitequark <whitequark@whitequark.org>
Fri, 29 Jan 2021 02:55:51 +0000 (02:55 +0000)
committerGitHub <noreply@github.com>
Fri, 29 Jan 2021 02:55:51 +0000 (02:55 +0000)
commit708eb327a1e88f726b8d426dba35abc29339a634
tree950cdb788f08318b204180cdc2c58f21dc4b1467
parentffa1cb836be07b2bfec46da76ef7c7ab5fda6995
parent2364820f504beef06d0d94d6b2e82eddffeb57c1
Merge pull request #2564 from whitequark/flatten-improve-error

flatten: clarify confusing error message