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 };