From dbcb384386ab3ac32f6a33de44c50ad2dc8893d5 Mon Sep 17 00:00:00 2001
From: Fish <fish@cs.ucsb.edu>
Date: Thu, 12 Dec 2024 09:35:58 -0700
Subject: [PATCH] Add the missing size attribute to V256.

---
 pyvex/const.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pyvex/const.py b/pyvex/const.py
index f9802c74..123ad6bc 100644
--- a/pyvex/const.py
+++ b/pyvex/const.py
@@ -324,6 +324,7 @@ class V256(IRConst):
     tag = "Ico_V256"
     op_format = "V256"
     c_constructor = pvc.IRConst_V256
+    size = 256
 
     def __init__(self, value):
         self._value = value