michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Roll back to flatten(line) == " "

Browse source
This commit is contained in:
Soonho Kong 2013-08-02 19:16:19 -07:00
parent 4ebb96d7cd
commit bddecd7d9c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/format.cpp
View file

@ -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: