diff --git a/share/provers-detection-data.conf b/share/provers-detection-data.conf
index d4c124cf8a7bd58128771cf0a6598874d936ea9f..5994402aefa60fe0ea5dcbf4943c1ba7d9cc093a 100644
--- a/share/provers-detection-data.conf
+++ b/share/provers-detection-data.conf
@@ -1,19 +1,3 @@
-[ATP alt-ergo-prv]
-name = "Alt-Ergo"
-exec = "alt-ergo"
-exec = "alt-ergo-1.20.prv"
-exec = "alt-ergo-1.10.prv"
-exec = "alt-ergo-1.00.prv"
-version_switch = "-version"
-version_regexp = "^\\([0-9.]+\\(-dev\\|prv\\)?\\)$"
-version_old = "1.20.prv"
-version_old = "1.10.prv"
-version_old = "1.00.prv"
-command = "%e -timelimit %t %f"
-command_steps = "%e -steps-bound %S %f"
-driver = "alt_ergo"
-editor = "altgr-ergo"
-
 [ATP alt-ergo]
 name = "Alt-Ergo"
 exec = "alt-ergo"
@@ -43,6 +27,22 @@ command_steps = "%e -no-rm-eq-existential -steps-bound %S %f"
 driver = "alt_ergo"
 editor = "altgr-ergo"
 
+[ATP alt-ergo-prv]
+name = "Alt-Ergo"
+exec = "alt-ergo"
+exec = "alt-ergo-1.20.prv"
+exec = "alt-ergo-1.10.prv"
+exec = "alt-ergo-1.00.prv"
+version_switch = "-version"
+version_regexp = "^\\([0-9.]+\\(-dev\\|prv\\)?\\)$"
+version_old = "1.20.prv"
+version_old = "1.10.prv"
+version_old = "1.00.prv"
+command = "%e -timelimit %t %f"
+command_steps = "%e -steps-bound %S %f"
+driver = "alt_ergo"
+editor = "altgr-ergo"
+
 # CVC4 version 1.5
 [ATP cvc4-15]
 name = "CVC4"