remove a redundant member function that I added before

[c11tester.git] / execution.h

diff --git a/execution.h b/execution.h
index a6add070aa288d93555ae2382315019c09b04f13..24738828da635fb45cad052836a7669fba6eb089 100644 (file)
--- a/execution.h
+++ b/execution.h
@@ -70,7 +70,6 @@ public:
        bool assert_bug(const char *msg);
 
        bool have_bug_reports() const;
-       bool have_fatal_bug_reports() const;
 
        SnapVector<bug_message *> * get_bugs() const;