Merge pull request #3461 from xekoukou/master
Correct the module name of TyConInfo.
commit10be3da06b711f0f004a852ea450c38e7e732e8a
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 29 Sep 2016, 07:44 (10 years ago)
parent8ea8a3801fc7bd
libs/pruviloj/Pruviloj/Internals/TyConInfo.idr+1−1
@@ -1,4 +1,4 @@
1−module Pruviloj.Derive.TyConInfo
1+module Pruviloj.Internals.TyConInfo
22
33import Pruviloj.Core
44import Pruviloj.Internals