From dcac78cdf5ef27ddb33902ae8e94e651e2679fa7 Mon Sep 17 00:00:00 2001
From: nojhan <nojhan@nojhan.net>
Date: Fri, 10 Feb 2023 11:54:18 +0100
Subject: [PATCH] fix(mo): missing include

---
 mo/src/explorer/moRandomBestHCexplorer.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/mo/src/explorer/moRandomBestHCexplorer.h b/mo/src/explorer/moRandomBestHCexplorer.h
index 3e7218065..bac6cc66b 100644
--- a/mo/src/explorer/moRandomBestHCexplorer.h
+++ b/mo/src/explorer/moRandomBestHCexplorer.h
@@ -35,11 +35,13 @@
 #ifndef _moRandomBestHCexplorer_h
 #define _moRandomBestHCexplorer_h
 
+#include <vector>
+#include <cassert>
+
 #include <explorer/moNeighborhoodExplorer.h>
 #include <comparator/moNeighborComparator.h>
 #include <comparator/moSolNeighborComparator.h>
 #include <neighborhood/moNeighborhood.h>
-#include <vector>
 #include <utils/eoRNG.h>
 
 /**