From a49585f4860a0170db127c21216e00d652c126f5 Mon Sep 17 00:00:00 2001
From: Ben Caldwell <caldwellb@uchicago.edu>
Date: Mon, 30 Jan 2023 10:18:28 -0600
Subject: [PATCH] Bumped to version 1.2.0

---
 coq-quantumlib.opam | 2 +-
 dune-project        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq-quantumlib.opam b/coq-quantumlib.opam
index b2cd801..ffb429b 100644
--- a/coq-quantumlib.opam
+++ b/coq-quantumlib.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "1.1.0"
+version: "1.2.0"
 synopsis: "Coq library for reasoning about quantum programs"
 description: """
 inQWIRE's QuantumLib is a Coq library for reasoning
diff --git a/dune-project b/dune-project
index ee3dbb0..e80ee42 100644
--- a/dune-project
+++ b/dune-project
@@ -1,6 +1,6 @@
 (lang dune 2.8)
 (name coq-quantumlib)
-(version 1.1.1)
+(version 1.2.0)
 (using coq 0.2)
 
 (generate_opam_files true)