From 148c379ab9754e34c34e2cb9b5f3f0aae655205e Mon Sep 17 00:00:00 2001
From: a3d4 <a3d4@pm.me>
Date: Mon, 16 Nov 2020 17:42:51 +0100
Subject: [PATCH] Fix Visual Studio compilation error (add missing include
 <optional>)

---
 libsmtutil/SolverInterface.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libsmtutil/SolverInterface.h b/libsmtutil/SolverInterface.h
index 8dd73b035..4e9cf2258 100644
--- a/libsmtutil/SolverInterface.h
+++ b/libsmtutil/SolverInterface.h
@@ -27,6 +27,7 @@
 #include <cstdio>
 #include <map>
 #include <memory>
+#include <optional>
 #include <string>
 #include <vector>