remove unused header

This commit is contained in:
Thomas Krijnen
2020-08-06 14:09:15 +02:00
parent cfc4a03312
commit 5dd146f357
-1
View File
@@ -11,7 +11,6 @@
#include <string>
#include <tuple>
#include <exception>
#include <cstdalign>
namespace ifcopenshell {