Remove unnecessary AssociationRole variants

cryspen · Mar 13, 2024 · 1aa667c · 1aa667c
1 parent 81f8b2f
commit 1aa667c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6 deletions.
diff --git 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
@@ -54,8 +54,6 @@ pub enum AssociationRole {
     ProcessWrite,
     ProcessInit,
     ProtocolMessages,
-    PVConstructor,
-    PVHandwritten,
 }
 
 /// Hax only understands one attribute: `#[hax::json(PAYLOAD)]` where