From 5a76128e3f5074180374963a670fd2a1ddc32081 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 19 Aug 2020 16:07:30 +0200
Subject: [PATCH] Removed DdType::None because there is no use for this
 anymore.

---
 src/storm/storage/dd/DdType.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm/storage/dd/DdType.h b/src/storm/storage/dd/DdType.h
index 712645b72..d23933eed 100644
--- a/src/storm/storage/dd/DdType.h
+++ b/src/storm/storage/dd/DdType.h
@@ -4,7 +4,6 @@
 namespace storm {
     namespace dd {
         enum class DdType {
-            None,
             CUDD,
             Sylvan
         };