diff options
Diffstat (limited to 'src/Assembly/Qhasm.v')
-rw-r--r-- | src/Assembly/Qhasm.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Assembly/Qhasm.v b/src/Assembly/Qhasm.v index c911b00ee..193114d14 100644 --- a/src/Assembly/Qhasm.v +++ b/src/Assembly/Qhasm.v @@ -7,7 +7,6 @@ Module Qhasm <: Language. Import State. (* A constant upper-bound on the number of operations we run *) - Definition maxOps: nat := 1000. Definition State := State. (* Program Types *) |