Fix merge issue

IntersectMBO · Apr 17, 2024 · 9962f61 · 9962f61
1 parent ea9a7fb
commit 9962f61
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/ScriptVerification/LedgerImplementation.agda b/src/ScriptVerification/LedgerImplementation.agda
@@ -154,9 +154,7 @@ SVGovParams = record
       .UpdateT                → ⊤
       .updateGroups           → λ _ → ∅
       .applyUpdate            → λ p _ → p
-      .ppdWellFormed          → λ _ → false
-      .ppdWellFormed⇒hasGroup → λ ()
-      .ppdWellFormed⇒WF       → λ _ _ x → x
+      .ppWF?                  → ⁇ yes λ _ → id
   ; ppHashingScheme = it
   }