os << "\\addlinespace\n";
else
os << "\\noalign{\\vskip\\doublerulesep}\n";
+ ++ret;
} else if(!row_info[i].top_space.zero()) {
if (use_booktabs)
os << "\\addlinespace["
os << "\\addlinespace\n";
else
os << "\\noalign{\\vskip\\doublerulesep}\n";
+ ++ret;
} else if (!row_info[i].interline_space.zero()) {
if (use_booktabs)
os << "\\addlinespace["