diff options
Diffstat (limited to 'src/Assembly/StringConversion.v')
-rw-r--r-- | src/Assembly/StringConversion.v | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/Assembly/StringConversion.v b/src/Assembly/StringConversion.v index 086976550..8d9549865 100644 --- a/src/Assembly/StringConversion.v +++ b/src/Assembly/StringConversion.v @@ -368,10 +368,8 @@ Module StringConversion <: Conversion Qhasm QhasmString. let newline := String (ascii_of_nat 10) EmptyString in Some (fold_left (fun x y => (x ++ newline ++ y)%string) - (decls 32 ++ - inputs 32 ++ blank ++ - decls 64 ++ - inputs 64 ++ blank ++ + (decls 32 ++ inputs 32 ++ + decls 64 ++ inputs 64 ++ blank ++ enter ++ blank ++ stmts ++ blank ++ leave) EmptyString). |