Merge branch 'main' of github.com:inQWIRE/ViCaR

inQWIRE · Feb 11, 2024 · f24cc4b · f24cc4b
2 parents 4d11b83 + 3bec2dc
commit f24cc4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -31,7 +31,7 @@ opam pin -y coq-voqc https://github.com/inQWIRE/SQIR.git
 Then install [VyZX](https://github.com/inQWIRE/VyZX)
 
 ```bash
-opam pin -y coq-vicar https://github.com/inQWIRE/VyZX.git
+opam pin -y coq-vyzx https://github.com/inQWIRE/VyZX.git#category-abstraction
 ```
 
 Then install [ViCaR](https://github.com/inQWIRE/ViCaR) while in the directory by running