diff --git a/src/insets/InsetFloat.cpp b/src/insets/InsetFloat.cpp
index fbef084cae..4a812d0788 100644
--- 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"