1 files changed, 5 insertions, 10 deletions
diff --git a/src/test.cc b/src/test.cc
index fb7900ca96e1..b30a5b0e90b6 100644
--- a/src/test.cc
+++ b/src/test.cc
@@ -191,15 +191,10 @@ void runTests()
 }
 
 
-int main(int argc, char * * argv)
+void run(Strings args)
 {
-    ATerm bottomOfStack;
-    ATinit(argc, argv, &bottomOfStack);
-
-    try {
-        runTests();
-    } catch (exception & e) {
-        cerr << "error: " << e.what() << endl;
-        return 1;
-    }
+    runTests();
 }
+
+
+string programId = "test";