From 4d7fa7901c5c0f6306690586ac5533dba7154a4c Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Fri, 12 Aug 2022 19:13:28 +0800 Subject: [PATCH] remove unused development flag --- cabal.project | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/cabal.project b/cabal.project index 2d2f279..96f675f 100644 --- a/cabal.project +++ b/cabal.project @@ -3,7 +3,4 @@ packages: ./. benchmarks: true tests: true -package plutarch - flags: +development - -test-show-details: direct \ No newline at end of file +test-show-details: direct