From 5ae552ee593e096f3e7012eb00adb6deaf710596 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 10 Mar 2020 14:19:36 +0100
Subject: [PATCH] Minor improvements

---
 src/dft/dft.cpp                        | 2 +-
 tests/storage/test_state_generation.py | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/dft/dft.cpp b/src/dft/dft.cpp
index 7af27d4..3b720ed 100644
--- a/src/dft/dft.cpp
+++ b/src/dft/dft.cpp
@@ -16,7 +16,7 @@ void define_dft(py::module& m) {
 
 
     // DFT class
-    py::class_<DFT<double>, std::shared_ptr<DFT<double>>>(m, "DFT", "DFT")
+    py::class_<DFT<double>, std::shared_ptr<DFT<double>>>(m, "DFT", "Dynamic Fault Tree")
         .def("nr_elements", &DFT<double>::nrElements, "Total number of elements")
         .def("nr_be", &DFT<double>::nrBasicElements, "Number of basic elements")
         .def("nr_dynamic", &DFT<double>::nrDynamicElements, "Number of dynamic elements")
diff --git a/tests/storage/test_state_generation.py b/tests/storage/test_state_generation.py
index f61b11c..153a4fd 100644
--- a/tests/storage/test_state_generation.py
+++ b/tests/storage/test_state_generation.py
@@ -67,7 +67,6 @@ def test_knuth_yao_die():
         number_states += 1
 
         valuation = generator.current_state_to_valuation()
-        print(valuation)
         assert valuation.integer_values[s_variable] <= 7
         assert generator.current_state_satisfies(upper_bound_invariant)