From 1680d0d21aff1405d6fa257a312203371e0e9e3a Mon Sep 17 00:00:00 2001
From: Hongrui Fang <chfanghr@gmail.com>
Date: Sat, 12 Nov 2022 00:30:35 +0800
Subject: [PATCH] make fourmula happy

---
 agora-specs/Property/Governor.hs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/agora-specs/Property/Governor.hs b/agora-specs/Property/Governor.hs
index ed6dc40..5e5547c 100644
--- a/agora-specs/Property/Governor.hs
+++ b/agora-specs/Property/Governor.hs
@@ -1,3 +1,7 @@
+{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
+
+{-# HLINT ignore "Redundant bracket" #-}
+
 {- |
 Module     : Property.Governor
 Maintainer : seungheon.ooh@gmail.com
@@ -105,7 +109,7 @@ instance Arbitrary GovernorDatumCases where
 -}
 governorDatumValidProperty :: Property
 governorDatumValidProperty =
-  haskEquiv @'OnPEq  @'ByComplete
+  haskEquiv @( 'OnPEq) @( 'ByComplete)
     isValidModelImpl
     (TestableTerm pisGovernorDatumValid)
     (genDatum :* Nil)