<< setEncoding("UTF-8");
++lines;
}
- // if hyperref is loaded by the document class and hyperset is empty,
- // nothing must be output, see bug #7048
+ // FIXME: handle the case that hyperref is loaded by the document class and
+ // hyperset is empty, see bug #7048
if (!(hyperref_already_provided && hyperset.empty()))
os << from_utf8(opt);