From ef1ccfdbd7b6cbb6555fdf1caf4017cd59111997 Mon Sep 17 00:00:00 2001
From: Kai Philipp <kphilipp@inquies.de>
Date: Sat, 25 Jan 2020 16:55:54 +0100
Subject: [PATCH] bugfix

---
 src/dealer_random_test.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/dealer_random_test.cpp b/src/dealer_random_test.cpp
index 94feb724..555618ff 100644
--- a/src/dealer_random_test.cpp
+++ b/src/dealer_random_test.cpp
@@ -32,6 +32,7 @@
 // Connectivity test program for PokerTH
 
 #include <iostream>
+#include <boost/program_options.hpp>
 #include <boost/thread.hpp>
 #include <boost/nondet_random.hpp>
 #include <boost/random/uniform_int.hpp>