@@ -87,7 +87,7 @@ Extra-source-files:
87 libs/base/Makefile
87 libs/base/Makefile
88 libs/base/Network/*.idr
88 libs/base/Network/*.idr
89 libs/base/System/Concurrency/*.idr
89 libs/base/System/Concurrency/*.idr
90− libs/base/Syntax/*.ids
90+ libs/base/Syntax/*.idr
93 libs/effects/Makefile
93 libs/effects/Makefile