Remove a useless header.

2018-04-23 22:55:22 +07:00 · 2018-04-23 22:55:22 +07:00 · 1c600249dc
commit 1c600249dc
parent 7afd82469e
1 changed files with 0 additions and 1 deletions
--- 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"