QWIRE icon indicating copy to clipboard operation
QWIRE copied to clipboard

Published 20 hours ago • verified publisher icon inQWIRE

Fix a bug in QASM.v

Open thwfhk opened this issue 3 years ago • 0 comments

When I run make qasm with Coq 8.13.1, the id : R -> R imported by Require Import Reals. overrides Definition id := string. and causes a compile error. So I move all relevant import statements to the top.

thwfhk avatar Apr 08 '21 17:04 thwfhk