@@ -70,6 +70,7 @@ Extra-source-files:
71 libs/prelude/prelude.ipkg
71 libs/prelude/prelude.ipkg
72 libs/prelude/Prelude/*.idr
72 libs/prelude/Prelude/*.idr
73+ libs/prelude/Decidable/*.idr
73 libs/prelude/Makefile
74 libs/prelude/Makefile
74 libs/prelude/*.idr
75 libs/prelude/*.idr