From bddecd7d9ceea03fa64295cabcd6a937da239ca6 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Fri, 2 Aug 2013 19:16:19 -0700
Subject: [PATCH] Roll back to flatten(line) == " "

---
 src/util/format.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/format.cpp b/src/util/format.cpp
index 7c7ddfd9fd..d2c8bfd370 100644
--- a/src/util/format.cpp
+++ b/src/util/format.cpp
@@ -91,7 +91,7 @@ sexpr format::flatten(sexpr const & s) {
         /* flatten (x <|> y) = flatten x */
         return flatten(sexpr_choice_1(s));
     case format_kind::LINE:
-        return sexpr_text(sexpr(""));
+        return sexpr_text(sexpr(" "));
     case format_kind::TEXT:
     case format_kind::COLOR_BEGIN:
     case format_kind::COLOR_END: