From 5ebaf51406782233c43df3b095474d653af5d302 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Fri, 19 May 2017 15:42:51 +0200
Subject: [PATCH] Add the official releases of Alt-Ergo to level-1 automation.

---
 share/provers-detection-data.conf | 1 +
 1 file changed, 1 insertion(+)

diff --git a/share/provers-detection-data.conf b/share/provers-detection-data.conf
index cf87eae2d..d4a296a05 100644
--- a/share/provers-detection-data.conf
+++ b/share/provers-detection-data.conf
@@ -28,6 +28,7 @@ command = "%e -timelimit %t %f"
 command_steps = "%e -steps-bound %S %f"
 driver = "drivers/alt_ergo.drv"
 editor = "altgr-ergo"
+use_at_auto_level = 1
 
 [ATP alt-ergo]
 name = "Alt-Ergo"
-- 
GitLab