diff --git a/src/main/scala/leon/Settings.scala b/src/main/scala/leon/Settings.scala
index 3aba078e9d2b0ed00171c5b000fd5c301936a52a..9aa0c57ac2371bdaa01df63543a6947312c23a75 100644
--- a/src/main/scala/leon/Settings.scala
+++ b/src/main/scala/leon/Settings.scala
@@ -5,7 +5,7 @@ package leon
 object Settings {
   lazy val reporter: Reporter = new DefaultReporter
 
-  var showIDs: Boolean = true
+  var showIDs: Boolean = false
   var silentlyTolerateNonPureBodies: Boolean = false
 }