From 764f094b8e12e669e91d7c3d37b3c48a97d6f99b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <a-mikmay@microsoft.com>
Date: Fri, 27 Nov 2015 16:14:39 +0100
Subject: [PATCH] Enhancing the PrettyPrinter.scala

---
 src/main/scala/leon/purescala/PrettyPrinter.scala | 2 +-
 src/main/scala/leon/purescala/ScalaPrinter.scala  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index f77fc57bd..9acbe6c5a 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -183,7 +183,7 @@ class PrettyPrinter(opts: PrinterOptions,
       case BooleanLiteral(v)    => p"$v"
       case UnitLiteral()        => p"()"
       case StringLiteral(v)     => 
-        if(v.indexOf("\n") != -1 && v.indexOf("\"\"\"") == -1) {
+        if(v.count(c => c == '\n') >= 1 && v.length >= 80 && v.indexOf("\"\"\"") == -1) {
           p"$dbquote$dbquote$dbquote$v$dbquote$dbquote$dbquote"
         } else {
           val escaped = v.replaceAll(dbquote, "\\\\\"").replaceAll("\n","\\n").replaceAll("\r","\\r")
diff --git a/src/main/scala/leon/purescala/ScalaPrinter.scala b/src/main/scala/leon/purescala/ScalaPrinter.scala
index 8ef0cc52f..20b8942e9 100644
--- a/src/main/scala/leon/purescala/ScalaPrinter.scala
+++ b/src/main/scala/leon/purescala/ScalaPrinter.scala
@@ -41,7 +41,7 @@ class ScalaPrinter(opts: PrinterOptions,
 
       case InfiniteIntegerLiteral(v) => p"BigInt($v)"
       case StringLiteral(v) =>
-        if(v.indexOf("\n") != -1 && v.indexOf("\"\"\"") == -1) {
+        if(v.count(c => c == '\n') >= 1 && v.length >= 80 && v.indexOf("\"\"\"") == -1) {
           p"$dbquote$dbquote$dbquote$v$dbquote$dbquote$dbquote"
         } else {
           val escaped = v.replaceAll(dbquote, "\\\\\"").replaceAll("\n","\\n").replaceAll("\r","\\r")
-- 
GitLab