Re-enable ctrie

This commit is contained in:
Michael Schröder 2018-04-30 12:59:40 +02:00 committed by GitHub
parent 6e990c0881
commit 8f933a4f5e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2269,7 +2269,7 @@ packages:
- ekg
"Michael Schröder <mc.schroeder@gmail.com> @mcschroeder":
- ctrie < 0 # GHC 8.4 via random-shuffle
- ctrie
- ttrie
"Andrew Lelechenko <andrew.lelechenko@gmail.com> @Bodigrim":