From 5dd146f3577c1e32e56830007bfef01b494fa99c Mon Sep 17 00:00:00 2001 From: Thomas Krijnen Date: Thu, 6 Aug 2020 14:09:15 +0200 Subject: [PATCH] remove unused header --- src/ifcgeom/taxonomy.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/ifcgeom/taxonomy.h b/src/ifcgeom/taxonomy.h index 8ce654980b..4b4e9816bb 100644 --- a/src/ifcgeom/taxonomy.h +++ b/src/ifcgeom/taxonomy.h @@ -11,7 +11,6 @@ #include #include #include -#include namespace ifcopenshell {