From 2d7afe343147fb6276d1842637aaf08a411ac1e0 Mon Sep 17 00:00:00 2001 From: Johnny Willemsen Date: Tue, 31 Oct 2023 13:18:40 +0100 Subject: [PATCH] Use typename * tao/x11/optional_t.h: --- tao/x11/optional_t.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tao/x11/optional_t.h b/tao/x11/optional_t.h index 51821256..0dd8cde1 100644 --- a/tao/x11/optional_t.h +++ b/tao/x11/optional_t.h @@ -18,7 +18,7 @@ namespace TAOX11_NAMESPACE { namespace IDL { - template + template using optional = std::optional; } // namespace IDL } // namespace TAOX11_NAMESPACE