add missing header · c57dc64950 - psopeeps-newserv - Gitea: Git with a cup of tea

incentive/psopeeps-newserv

add missing header

This commit is contained in:

Martin Michelsen

2024-02-07 10:28:29 -08:00

parent 07996444a1

commit c57dc64950

1 changed files with 2 additions and 0 deletions

									
										src/Episode3/RulerServer.cc
									
		+2
		
												View File
												
				@@ -1,5 +1,7 @@

				#include "RulerServer.hh"

				#include <optional>

				#include "Server.hh"

				using namespace std;