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

fix(util/sexpr/format): LINE is a token separator

Browse source
This commit is contained in:
Sebastian Ullrich 2015-10-01 02:21:41 +02:00 committed by Leonardo de Moura
parent d1b5031dbd
commit 0fdae28439
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/util/sexpr/format.cpp
View file

@ -182,10 +182,11 @@ std::tuple<sexpr, sexpr const *> format::separate_tokens(sexpr const & s, sexpr
) const {
switch (sexpr_kind(s)) {
case format_kind::NIL:
case format_kind::LINE:
case format_kind::COLOR_BEGIN:
case format_kind::COLOR_END:
return std::make_tuple(s, last);
case format_kind::LINE:
return std::make_tuple(s, nullptr);
case format_kind::COMPOSE:
case format_kind::FLAT_COMPOSE:
{