Revert "remove unneeded include"

This reverts commit 35f55a96e9.
3 years ago · 59be002c9e
parent a990307066
commit 59be002c9e
1 changed files with 1 additions and 0 deletions
--- a/dlib/rand/rand_kernel_1.h
+++ b/dlib/rand/rand_kernel_1.h
@ -5,6 +5,7 @@
 #include <string>
 #include <complex>
 #include <random>
 #include "../algs.h"
 #include "rand_kernel_abstract.h"
 #include "mersenne_twister.h"