From 24d7f569f1b153b6d754ec45cdf2a68005f06b70 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien@dynare.org>
Date: Fri, 29 Jul 2022 14:30:45 +0200
Subject: [PATCH] =?UTF-8?q?Bytecode=20MEX:=20fix=20compilation=20under=20G?=
 =?UTF-8?q?CC=20=E2=A9=BE=2011?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Problem introduced in previous commit.
---
 mex/sources/bytecode/Evaluate.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mex/sources/bytecode/Evaluate.hh b/mex/sources/bytecode/Evaluate.hh
index 8f46af0b83..1fb87581c0 100644
--- a/mex/sources/bytecode/Evaluate.hh
+++ b/mex/sources/bytecode/Evaluate.hh
@@ -23,6 +23,7 @@
 #include <vector>
 #include <string>
 #include <map>
+#include <optional>
 
 #define BYTECODE_MEX
 #include "Bytecode.hh"
-- 
GitLab