Fixed missing entry in Cabal file.
commit44dad1c45edfa35bc564a74e9c8f2fcc83b17e10
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateWed 5 Aug 2015, 22:08 (11 years ago)
parent99b8194
idris.cabal+1−1
@@ -123,7 +123,7 @@ Extra-source-files:
123123 libs/effects/Makefile
124124 libs/effects/effects.ipkg
125125 libs/effects/Effect/*.idr
126− libs/effects/Effect/*.idr
126+ libs/effects/Effect/Logging/*.idr
127127 libs/effects/*.idr
128128
129129 test/Makefile