diff --git a/config/caisar-detection-data.conf b/config/caisar-detection-data.conf
index dedf31d5d026044f5bfe06f7e97febfd00812842..e4b4b2a9b6a0ac6a2c6fee780b9a9740f5415a53 100644
--- a/config/caisar-detection-data.conf
+++ b/config/caisar-detection-data.conf
@@ -1,7 +1,6 @@
 [ATP alt-ergo]
 name = "Alt-Ergo"
 exec = "alt-ergo"
-exec = "alt-ergo-2.4.0"
 version_switch = "--version"
 version_regexp = "^\\([0-9.]+\\)$"
 version_ok  = "2.4.0"
diff --git a/tests/simple.t b/tests/simple.t
index 905efcc4e725d2f1ba9e2332da3103c9539061a9..43706bbe0d2a768462ab646f9c45b6d0711843cd 100644
--- a/tests/simple.t
+++ b/tests/simple.t
@@ -43,10 +43,6 @@ Test verify
   <autodetect>Generating strategies:
   <autodetect>Run: (Marabou --version) > $TMPFILE 2>&1
   <autodetect>Run: (alt-ergo --version) > $TMPFILE 2>&1
-  <autodetect>Run: (alt-ergo-2.4.0 --version) > $TMPFILE 2>&1
-  <autodetect>command 'alt-ergo-2.4.0 --version' failed. Output:
-  sh: 1: alt-ergo-2.4.0: not found
-  
   <autodetect>Run: (pyrat.py --version) > $TMPFILE 2>&1
   <autodetect>Found prover Alt-Ergo version 2.4.0, OK.
   <autodetect>Found prover Marabou version 1.0.+, OK.