From 289cb58f52fe69a6c4807332b518dab4c2a8f546 Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
Date: Sat, 11 Jul 2020 16:41:34 +0200
Subject: [PATCH] Remove unneeded header

---
 src/insets/InsetFloat.cpp | 1 -
 1 file changed, 1 deletion(-)

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"
-- 
2.39.2