update yosys tag

[dev-env-setup.git] / hdl-tools-yosys

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index 175df37fbe6c4b4186ff6d45af86a20618df7364..80696905af631686054ff72c4068323ffe4dd5cf 100755 (executable)
--- 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