From 1c600249dc97bc3d9c4dde7bc9cf83e66e885fd1 Mon Sep 17 00:00:00 2001
From: Saveliy Skresanov <savask@yandex.ru>
Date: Mon, 23 Apr 2018 22:55:22 +0700
Subject: [PATCH] Remove a useless header.

---
 src/simulation/Simulation.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/simulation/Simulation.h b/src/simulation/Simulation.h
index cb30d2c74..c79cea842 100644
--- a/src/simulation/Simulation.h
+++ b/src/simulation/Simulation.h
@@ -3,7 +3,6 @@
 #include <cstring>
 #include <cstddef>
 #include <vector>
-#include <random>
 
 #include "Config.h"
 #include "Elements.h"