diff options
Diffstat (limited to 'src/tools/execution-results.h')
-rw-r--r-- | src/tools/execution-results.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/execution-results.h b/src/tools/execution-results.h index 4ef087cec..0cd40959e 100644 --- a/src/tools/execution-results.h +++ b/src/tools/execution-results.h @@ -39,7 +39,7 @@ struct LoggingExternalInterface : public ShellExternalInterface { LoggingExternalInterface(Loggings& loggings) : loggings(loggings) {} - Literals callImport(Function* import, Literals& arguments) override { + Literals callImport(Function* import, const Literals& arguments) override { if (import->module == "fuzzing-support") { std::cout << "[LoggingExternalInterface logging"; loggings.push_back(Literal()); // buffer with a None between calls |