diff options
| author |  Robert Sloan <varomodt@gmail.com> | 2016-06-22 19:38:20 -0400 |
|---|---|---|
| committer | Robert Sloan <varomodt@gmail.com> | 2016-06-22 19:38:20 -0400 |
| commit | 5cb07f239f82528ba5422556f59294511326c2ad (patch) | |
| tree | b481712e4aa71a412ff1aec0f0b37bb51c09375d /src/Assembly/StringConversion.v | |
| parent | 7df5ed48ce1e16eebd4ec4cac9f057c65d40ae78 (diff) | |
Make Assembly modules 8.5-compatible
Diffstat (limited to 'src/Assembly/StringConversion.v')
| -rw-r--r-- | src/Assembly/StringConversion.v | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Assembly/StringConversion.v b/src/Assembly/StringConversion.v index c365c5824..66a83cfa3 100644 --- a/src/Assembly/StringConversion.v +++ b/src/Assembly/StringConversion.v @@ -103,11 +103,11 @@ Module StringConversion <: Conversion Qhasm QhasmString. Coercion intOpToString (b: IntOp): string := match b with - | Add => "+" - | Sub => "-" - | Xor => "^" - | And => "&" - | Or => "|" + | IAdd => "+" + | ISub => "-" + | IXor => "^" + | IAnd => "&" + | IOr => "|" end. Coercion dualOpToString (b: DualOp): string := |