make unused exception less expensive

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@21276 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/src/support/docstring.h b/src/support/docstring.h
index 8c9a1f56d016bf930128a0c9bf5a6eb3045505bb..73ba552095befbba44db81b8056a2215676ea700 100644 (file)
--- a/src/support/docstring.h
+++ b/src/support/docstring.h
@@ -16,7 +16,7 @@
 #include "support/types.h"
 
 #include <string>
-#include <typeinfo>
+//#include <typeinfo>
 
 namespace lyx {
 
@@ -42,9 +42,9 @@ std::string const to_utf8(docstring const &);
 docstring const from_local8bit(std::string const & s);
 
 /// Exception thrown by to_local8bit if the string could not be converted
-class to_local8bit_failure : public std::bad_cast {
+class to_local8bit_failure /*: public std::bad_cast*/ {
 public:
-       to_local8bit_failure() throw() : std::bad_cast() {}
+       to_local8bit_failure() throw() /*: std::bad_cast()*/ {}
        virtual ~to_local8bit_failure() throw() {}
        virtual const char* what() const throw();
 };