Remove unnecessary cln includes (#269)

moves-rwth · Aug 1, 2022 · 3eab052 · 3eab052
1 parent 704e806
commit 3eab052
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/storm-pars/derivative/GradientDescentInstantiationSearcher.cpp b/src/storm-pars/derivative/GradientDescentInstantiationSearcher.cpp
@@ -1,6 +1,4 @@
 #include "GradientDescentInstantiationSearcher.h"
-#include <cln/random.h>
-#include <cln/real.h>
 #include <cmath>
 #include <cstdint>
 #include <random>