From 15112c8eb40c8899eb69833cd4acaa3102c560f9 Mon Sep 17 00:00:00 2001
From: Yann Duplouy <yann.duplouy@inria.fr>
Date: Wed, 20 Nov 2019 12:06:54 +0100
Subject: [PATCH] Using xbt/random

---
 src/kernel/resource/profile/StochasticDatedValue.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/kernel/resource/profile/StochasticDatedValue.cpp b/src/kernel/resource/profile/StochasticDatedValue.cpp
index dff938ee76..b044334fe0 100644
--- a/src/kernel/resource/profile/StochasticDatedValue.cpp
+++ b/src/kernel/resource/profile/StochasticDatedValue.cpp
@@ -4,7 +4,6 @@
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
 #include "src/kernel/resource/profile/StochasticDatedValue.hpp"
-#include "src/statmc/rng.hpp"
 #include "xbt.h"
 #include "xbt/random.hpp"
 #include <math.h>
-- 
2.20.1