<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- configure.orig	2019-03-14 10:17:13.000000000 -0700
+++ configure	2019-05-04 13:11:19.000000000 -0700
@@ -7198,6 +7198,8 @@
 
 #else
 
+#include &lt;type_traits&gt;
+
 namespace cxx11
 {
 
</pre></body></html>