Continuing here will crash us. This shouldn't be an issue, but

it seems worth doing something sensible.

diff --git a/src/TocBackend.cpp b/src/TocBackend.cpp
index c8bf4adf4853a96911596e1f1b042e416fd0d37e..1df2adc57680124eadb5bc14ba15acff1cb84cc9 100644 (file)
--- a/src/TocBackend.cpp
+++ b/src/TocBackend.cpp
@@ -105,7 +105,7 @@ Toc const & TocBackend::toc(string const & type) const
 {
        // Is the type already supported?
        TocList::const_iterator it = tocs_.find(type);
-       LASSERT(it != tocs_.end(), /**/);
+       LASSERT(it != tocs_.end(), { static Toc dummy; return dummy; });
 
        return it->second;
 }