From: Juergen Spitzmueller <spitz@lyx.org>
Date: Sat, 11 Jul 2020 14:41:34 +0000 (+0200)
Subject: Remove unneeded header
X-Git-Tag: lyx-2.4.0dev-acb2ca7b~619
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=289cb58f52fe69a6c4807332b518dab4c2a8f546;p=features.git

Remove unneeded header
---

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"