From c57dc649508c3ea5f2408a4b633f406aa244cfeb Mon Sep 17 00:00:00 2001
From: Martin Michelsen <fuzziqersoftware+g@gmail.com>
Date: Wed, 7 Feb 2024 10:28:29 -0800
Subject: [PATCH] add missing header

---
 src/Episode3/RulerServer.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Episode3/RulerServer.cc b/src/Episode3/RulerServer.cc
index bbbdfea8..eb650a35 100644
--- a/src/Episode3/RulerServer.cc
+++ b/src/Episode3/RulerServer.cc
@@ -1,5 +1,7 @@
 #include "RulerServer.hh"
 
+#include <optional>
+
 #include "Server.hh"
 
 using namespace std;