From fa556fb8c122f91dd95a4de6a09ee0681ef403e5 Mon Sep 17 00:00:00 2001 From: Wenhao Tang Date: Fri, 9 Apr 2021 01:31:50 +0800 Subject: [PATCH] fix a bug in QASM.v --- QASM.v | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/QASM.v b/QASM.v index fbb5989..f5cb3c6 100644 --- a/QASM.v +++ b/QASM.v @@ -1,5 +1,10 @@ Require Import Reals. Require Import String. +Require Import HOASCircuits. +Require Import HOASExamples. +Require Import DBCircuits. +Require Import Arith. +Require Import List. (* QASM.v - representation of QASM circuits *) @@ -104,12 +109,6 @@ Open Scope qasm_scope. Notation pi := (e_pi). Close Scope qasm_scope. -Require Import HOASCircuits. -Require Import HOASExamples. -Require Import DBCircuits. -Require Import Arith. -Require Import Reals. -Require Import List. Open Scope R_scope. Import ListNotations.