From 1aa667c329cd1f68435696768250cb90534af59d Mon Sep 17 00:00:00 2001
From: Jonas Schneider-Bensch <jonas@cryspen.com>
Date: Wed, 13 Mar 2024 10:41:05 +0100
Subject: [PATCH] Remove unnecessary `AssociationRole` variants

---
 engine/lib/attr_payloads.ml     | 4 ----
 hax-lib-macros/types/src/lib.rs | 2 --
 2 files changed, 6 deletions(-)

diff --git a/engine/lib/attr_payloads.ml b/engine/lib/attr_payloads.ml
index 526ee963a..b2be72b80 100644
--- a/engine/lib/attr_payloads.ml
+++ b/engine/lib/attr_payloads.ml
@@ -57,8 +57,6 @@ module AssocRole = struct
       | ProcessWrite
       | ProcessInit
       | ProtocolMessages
-      | PVConstructor
-      | PVHandwritten
     [@@deriving show, yojson, compare, sexp, eq]
   end
 
@@ -79,8 +77,6 @@ module AssocRole = struct
     | ProcessWrite -> ProcessWrite
     | ProcessInit -> ProcessInit
     | ProtocolMessages -> ProtocolMessages
-    | PVConstructor -> PVConstructor
-    | PVHandwritten -> PVHandwritten
 end
 
 module MakeBase (Error : Phase_utils.ERROR) = struct
diff --git a/hax-lib-macros/types/src/lib.rs b/hax-lib-macros/types/src/lib.rs
index 4a3d4a7e2..3b88f3aaa 100644
--- a/hax-lib-macros/types/src/lib.rs
+++ b/hax-lib-macros/types/src/lib.rs
@@ -54,8 +54,6 @@ pub enum AssociationRole {
     ProcessWrite,
     ProcessInit,
     ProtocolMessages,
-    PVConstructor,
-    PVHandwritten,
 }
 
 /// Hax only understands one attribute: `#[hax::json(PAYLOAD)]` where