diff --git a/src/CFG/C.hs b/src/CFG/C.hs index 2401f3adcf144b510cbbbacfcdbdbcae4d6d5ed5..c66ab51576316cacf0845e0083f20647cf495699 100644 --- a/src/CFG/C.hs +++ b/src/CFG/C.hs @@ -112,6 +112,7 @@ triggerInterrupts (Just ints) = do " if (_decisionMaker("<> T.pack (show decision) <> ")) {\n" <> " _print_os_state(\"IRQ" <> T.pack (show int) <> "\", __func__);\n" <> " Machine::trigger_interrupt_from_user(" <> T.pack (show int) <> ");\n" + <> " _triggeredSomeInterrupt = 1;\n" <> " }\n" instrsToC :: Maybe IntSet -> FunctionKind -> [Instr] -> DecisionM Text