diff --git a/src/ARCodeTranslator-Stub.hh b/src/ARCodeTranslator-Stub.hh
index 80fa6e09..73b47178 100644
--- a/src/ARCodeTranslator-Stub.hh
+++ b/src/ARCodeTranslator-Stub.hh
@@ -3,6 +3,6 @@
 #include <stdexcept>
 #include <string>
 
-void run_ar_code_translator(const string& initial_directory, const string& use_file, const string&) {
+inline void run_ar_code_translator(const std::string&, const std::string&, const std::string&) {
   throw std::runtime_error("resource_file is not available; install it and rebuild newserv");
 }