Remove unneeded header

diff --git a/src/insets/InsetFloat.cpp b/src/insets/InsetFloat.cpp
index fbef084cae0a5f63faf3f2073a9cf92410b253bd..4a812d07884d90ac14e323e1b0a501aa59c70ec1 100644 (file)
--- a/src/insets/InsetFloat.cpp
+++ b/src/insets/InsetFloat.cpp
@@ -11,7 +11,6 @@
  */
 
 #include <config.h>
-#include <typeinfo>
 
 #include "InsetBox.h"
 #include "InsetCaption.h"