From 01d8e589d2be9cea759ab3d4c34f034c382b511c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 12 Dec 2012 10:07:30 +0100
Subject: [PATCH] showIDs off by default
---
src/main/scala/leon/Settings.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/Settings.scala b/src/main/scala/leon/Settings.scala
index 3aba078e9..9aa0c57ac 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
}
--
GitLab