From 70b0c32a13869633f6ec91938482b4e0cebaf417 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 16 Jun 2022 08:53:48 +0100
Subject: [PATCH] update yosys tag

---
 hdl-tools-yosys | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index 175df37..8069690 100755
--- a/hdl-tools-yosys
+++ b/hdl-tools-yosys
@@ -27,7 +27,7 @@ git clone https://github.com/ghdl/ghdl-yosys-plugin
 
 # yosys 0.13 has been found to be stable...
 cd yosys
-git checkout yosys-0.13-with-write_jny
+git checkout smtlib2-expr-support-on-0.13
 make config-clang
 make -j$(nproc)
 make install
-- 
2.30.2