summaryrefslogtreecommitdiffhomepage
path: root/digital/io-hub/src/guybrush/top.c
diff options
context:
space:
mode:
authorNicolas Schodet2012-05-18 16:50:38 +0200
committerNicolas Schodet2012-05-18 16:50:38 +0200
commit98fbfb9d546f54760ed7f0d6e7a3f3a354578d35 (patch)
treedff25f1110dba572f6746e7a48186a855c4191f9 /digital/io-hub/src/guybrush/top.c
parent61e845923778bdc7698c2544fd4e36d17e167fa9 (diff)
digital/io-hub/src/guybrush: report really bad failure
Diffstat (limited to 'digital/io-hub/src/guybrush/top.c')
-rw-r--r--digital/io-hub/src/guybrush/top.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/digital/io-hub/src/guybrush/top.c b/digital/io-hub/src/guybrush/top.c
index de27f28b..eb1cc0a5 100644
--- a/digital/io-hub/src/guybrush/top.c
+++ b/digital/io-hub/src/guybrush/top.c
@@ -337,6 +337,7 @@ FSM_TRANS (TOP_CLAMP_ERROR_DECISION, clamp_blocked,
else
{
strat_clamp_dead ();
+ strat_bad_failure ();
FSM_HANDLE (AI, clamp_is_dead);
return FSM_NEXT (TOP_CLAMP_ERROR_DECISION, clamp_blocked, dead);
}