mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2025-12-10 00:10:19 +03:00
f7557b5422
Closes: https://bugs.gentoo.org/939094 Signed-off-by: Vladislav Mikhailikov <vmikhailikov@gmail.com> Part-of: https://github.com/gentoo/gentoo/pull/44760 Closes: https://github.com/gentoo/gentoo/pull/44760 Signed-off-by: Nowa Ammerlaan <nowa@gentoo.org>
23 lines
539 B
Diff
23 lines
539 B
Diff
From dab9aa1fa5ae245c2f8becf1396205f7655b1c01 Mon Sep 17 00:00:00 2001
|
|
From: pfeatherstone <45853521+pfeatherstone@users.noreply.github.com>
|
|
Date: Thu, 18 May 2023 13:03:15 +0100
|
|
Subject: [PATCH] missing include (#2798)
|
|
|
|
Co-authored-by: pf <pf@me>
|
|
---
|
|
dlib/type_traits.h | 1 +
|
|
1 file changed, 1 insertion(+)
|
|
|
|
diff --git a/dlib/type_traits.h b/dlib/type_traits.h
|
|
index 8391050699..a5bb863278 100644
|
|
--- a/dlib/type_traits.h
|
|
+++ b/dlib/type_traits.h
|
|
@@ -10,6 +10,7 @@
|
|
*/
|
|
|
|
#include <type_traits>
|
|
+#include <cstdint>
|
|
|
|
namespace dlib
|
|
{
|