From 4899faf1bbc9fc855a00c23f75fb3ef10f83946d Mon Sep 17 00:00:00 2001
From: Florian Schanda <florian@schanda.org.uk>
Date: Sat, 16 Sep 2023 21:30:52 +0200
Subject: [PATCH] Use PyVCG 1.0.5

Should have fixed the install issue for Python 3.11
---
 requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/requirements.txt b/requirements.txt
index a1d4df6c..092dea3e 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -2,5 +2,5 @@ pycodestyle>=2.10
 pylint>=2.17
 coverage>=7.2
 sphinx>=7.0
-pyvcg==1.0.4
+pyvcg==1.0.5
 cvc5==1.0.8