diff --git a/agora/Agora/Proposal.hs b/agora/Agora/Proposal.hs
index 7a01b5e..52b199d 100644
--- a/agora/Agora/Proposal.hs
+++ b/agora/Agora/Proposal.hs
@@ -303,6 +303,7 @@ data PProposalStatus (s :: S)
     PDraft (Term s (PDataRecord '[]))
   | PVotingReady (Term s (PDataRecord '[]))
   | PLocked (Term s (PDataRecord '[]))
+  | PExecutable (Term s (PDataRecord '[]))
   | PFinished (Term s (PDataRecord '[]))
   deriving stock (GHC.Generic)
   deriving anyclass (Generic)