diff --git a/src/obelisk.cpp b/src/obelisk.cpp
index cb0cb54..d648d1b 100644
--- a/src/obelisk.cpp
+++ b/src/obelisk.cpp
@@ -9,14 +9,14 @@
 #include <limits>
 #include <memory>
 
-static int obelisk::mainLoop()
+static int obelisk::mainLoop(const std::vector<std::string>& sourceFiles, const std::string& kbFile)
 {
     auto parser = std::unique_ptr<obelisk::Parser> {new obelisk::Parser()};
     std::unique_ptr<obelisk::KnowledgeBase> kb;
 
     try
     {
-        kb = std::unique_ptr<obelisk::KnowledgeBase> {new obelisk::KnowledgeBase("cromer.kb")};
+        kb = std::unique_ptr<obelisk::KnowledgeBase> {new obelisk::KnowledgeBase(kbFile.c_str())};
     }
     catch (obelisk::KnowledgeBaseException& exception)
     {
@@ -131,5 +131,5 @@ int main(int argc, char** argv)
 
     return 0;
 
-    return obelisk::mainLoop();
+    return obelisk::mainLoop(sourceFiles, kbFile);
 }
diff --git a/src/obelisk.h b/src/obelisk.h
index ec0d644..514ba1b 100644
--- a/src/obelisk.h
+++ b/src/obelisk.h
@@ -42,5 +42,5 @@ Options:
      *
      * @return int Returns EXIT_SUCCESS or EXIT_FAILURE.
      */
-    static int mainLoop();
+    static int mainLoop(const std::vector<std::string> &sourceFiles, const std::string &kbFile);
 } // namespace obelisk