From af17e4699d0fa5c19c6bb88c9ea86c1d924071a1 Mon Sep 17 00:00:00 2001
From: Hongrui Fang <chfanghr@gmail.com>
Date: Fri, 11 Nov 2022 23:39:23 +0800
Subject: [PATCH] run linter

---
 agora-specs/Property/Governor.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/agora-specs/Property/Governor.hs b/agora-specs/Property/Governor.hs
index 5493772..aba21b4 100644
--- a/agora-specs/Property/Governor.hs
+++ b/agora-specs/Property/Governor.hs
@@ -105,7 +105,7 @@ instance Arbitrary GovernorDatumCases where
 -}
 governorDatumValidProperty :: Property
 governorDatumValidProperty =
-  haskEquiv @( 'OnPEq) @( 'ByComplete)
+  haskEquiv @'OnPEq  @'ByComplete
     isValidModelImpl
     (TestableTerm pisGovernorDatumValid)
     (genDatum :* Nil)