Add missing header for random numbers

2017-06-03 16:38:45 +02:00
parent 78cb881431
commit 39bf43202e
2 changed files with 2 additions and 0 deletions
--- a/src/App/Document.cpp
+++ b/src/App/Document.cpp
@@ -56,6 +56,7 @@ recompute path. Also enables more complicated dependencies beyond trees.
 # include <sstream>
 # include <climits>
 # include <bitset>
+# include <random>
 #endif

 #include <boost/graph/adjacency_list.hpp>