Commit 67408c7e authored by Guillaume Melquiond's avatar Guillaume Melquiond

Remove time limit from Metis.

parent fd3c9391
......@@ -260,7 +260,7 @@ exec = "metis"
version_switch = "-v"
version_regexp = "metis \\([^ \n,]+\\)"
version_ok = "2.3"
command = "%e --time-limit %t %f"
command = "%e %f"
driver = "metis"
[ATP metitarski]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment