summaryrefslogtreecommitdiffhomepage
path: root/digital/io-hub/src/guybrush/strat.h
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/strat.h
parent61e845923778bdc7698c2544fd4e36d17e167fa9 (diff)
digital/io-hub/src/guybrush: report really bad failure
Diffstat (limited to 'digital/io-hub/src/guybrush/strat.h')
-rw-r--r--digital/io-hub/src/guybrush/strat.h4
1 files changed, 4 insertions, 0 deletions
diff --git a/digital/io-hub/src/guybrush/strat.h b/digital/io-hub/src/guybrush/strat.h
index 96649d7d..4f3465c4 100644
--- a/digital/io-hub/src/guybrush/strat.h
+++ b/digital/io-hub/src/guybrush/strat.h
@@ -57,6 +57,10 @@ strat_success (void);
void
strat_failure (void);
+/** Report a really bad failure. */
+void
+strat_bad_failure (void);
+
/** Report a failure of last decision, never try again. */
void
strat_giveup (void);