small fix for seal5.backends.coredsl2.writer when list of operands is…

… empty 2
tum-ei-eda · Mar 27, 2024 · b4f9eab · b4f9eab
1 parent 890c038
commit b4f9eab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/seal5/backends/coredsl2/writer.py b/seal5/backends/coredsl2/writer.py
@@ -204,7 +204,7 @@ def write_instruction_constraints(self, constraints, operands):
     def write_operands(self, operands):
         self.write("operands: ")
         if len(operands) == 0:
-            self.write_line("{};")
+            self.write_line("{}")
             return
         self.enter_block()
         # print("operands", operands)