diff --git a/src/CFG/C.hs b/src/CFG/C.hs
index 108197a712a4b7f3920d1a1aa208dc28224a6815..7d0d818b17e5640b020d68632069f547f823d3b1 100644
--- a/src/CFG/C.hs
+++ b/src/CFG/C.hs
@@ -87,7 +87,7 @@ triggerInterrupts decision (Just ints) =
 
   where triggerInterrupt (decision', int) =
           "if (_decisionMaker("<> T.pack (show decision') <> ")) {\n" -- TODO
-          <> "  Machine::trigger_interrupt_from_user(" <> T.pack (show int) <> ")\n"
+          <> "  Machine::trigger_interrupt_from_user(" <> T.pack (show int) <> ");\n"
           <> "}\n"
 
 instrsToC :: [Instr] -> Text