diff --git a/src/storage/dd/CuddDdManager.cpp b/src/storage/dd/CuddDdManager.cpp
index c75a7c211..6c8c66683 100644
--- a/src/storage/dd/CuddDdManager.cpp
+++ b/src/storage/dd/CuddDdManager.cpp
@@ -8,7 +8,8 @@
 namespace storm {
     namespace dd {
         DdManager<DdType::CUDD>::DdManager() : metaVariableMap(), cuddManager() {
-            // Intentionally left empty.
+            
+            this->cuddManager.SetEpsilon(1.0e-15);
         }
         
         Dd<DdType::CUDD> DdManager<DdType::CUDD>::getOne() {