From bd52fcdb5d7c3faea6d3ab153087a61b92eb5e62 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Wed, 9 Aug 2023 10:50:42 +0000 Subject: [PATCH] Update generated headers --- ql/instruments/all.hpp | 1 + 1 file changed, 1 insertion(+) diff --git a/ql/instruments/all.hpp b/ql/instruments/all.hpp index 08db8903bed..69542fa7264 100644 --- a/ql/instruments/all.hpp +++ b/ql/instruments/all.hpp @@ -52,6 +52,7 @@ #include #include #include +#include #include #include #include