Fix build
Commit 7e0c70a09c634771ec9823d99f8d9bf7ece68b82 contained an unrelated
chance that broke the build.
commitf8ee19a41110f83c80ba96afcd50294f89458f75
authorNiklas Larsson <niklas@mm.st>
dateSat 27 Aug 2016, 00:02 (10 years ago)
parent7e0c70a
libs/base/System/Concurrency/Channels.idr → libs/base/System/Concurrency/Sessions.idrrenamed
The content is the same.