diff --git a/run-tests.sh b/run-tests.sh
index 1a5be572416c6f6794a4f7d1ce108423aebfdc35..abaed603d0ea1ce8c9d94187cd4508e07b4f54c5 100755
--- a/run-tests.sh
+++ b/run-tests.sh
@@ -6,7 +6,7 @@ failedtests=""
 
 for f in testcases/regression/valid/*.scala; do
   echo -n "Running $f, expecting VALID, got: "
-  res=`./leon --noLuckyTests --timeout=10 --oneline "$f"`
+  res=`./leon --xlang --noLuckyTests --timeout=10 --oneline "$f"`
   echo $res | tr [a-z] [A-Z]
   if [ "$res" = valid ]; then
     nbsuccess=$((nbsuccess + 1))
@@ -17,7 +17,7 @@ done
 
 for f in testcases/regression/invalid/*.scala; do
   echo -n "Running $f, expecting INVALID, got: "
-  res=`./leon --noLuckyTests --timeout=10 --oneline "$f"`
+  res=`./leon --xlang --noLuckyTests --timeout=10 --oneline "$f"`
   echo $res | tr [a-z] [A-Z]
   if [ "$res" = invalid ]; then
     nbsuccess=$((nbsuccess + 1))
@@ -28,7 +28,7 @@ done
 
 for f in testcases/regression/error/*.scala; do
   echo -n "Running $f, expecting ERROR, got: "
-  res=`./leon --noLuckyTests --timeout=10 --oneline "$f"`
+  res=`./leon --xlang --noLuckyTests --timeout=10 --oneline "$f"`
   echo $res | tr [a-z] [A-Z]
   if [ "$res" = error ]; then
     nbsuccess=$((nbsuccess + 1))