diff --git a/benchexec/tools/theta.py b/benchexec/tools/theta.py
index e59c090..490b369 100644
--- a/benchexec/tools/theta.py
+++ b/benchexec/tools/theta.py
@@ -21,6 +21,9 @@ class Tool(benchexec.tools.chc.ChcTool):
         "theta.jar",
         "chc",
     ]
+    
+    def cmdline(self, executable, options, task, rlimits):
+        return [executable, task.single_input_file] + options
 
     def executable(self, tool_locator):
         return tool_locator.find_executable("chc")