aboutsummaryrefslogtreecommitdiffstats
path: root/test/fuzzer.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'test/fuzzer.cpp')
-rw-r--r--test/fuzzer.cpp1
1 files changed, 0 insertions, 1 deletions
diff --git a/test/fuzzer.cpp b/test/fuzzer.cpp
index 053d880f..cf99755f 100644
--- a/test/fuzzer.cpp
+++ b/test/fuzzer.cpp
@@ -152,7 +152,6 @@ void testCompiler()
"Exception during compilation",
"Unknown exception during compilation",
"Unknown exception while generating contract data output",
- "Unknown exception while generating formal method output",
"Unknown exception while generating source name output",
"Unknown error while generating JSON"
});