From 5a16a600388b083de1637fae9badd7e2d624737e Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 18 Jul 2018 16:42:23 +0200
Subject: [PATCH] fixed spacing

---
 src/core/counterexample.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/core/counterexample.cpp b/src/core/counterexample.cpp
index b572f5a..e92445c 100644
--- a/src/core/counterexample.cpp
+++ b/src/core/counterexample.cpp
@@ -2,10 +2,13 @@
 #include "storm/environment/Environment.h"
 #include "storm-counterexamples/api/counterexamples.h"
 
+
 using namespace storm::counterexamples;
 
 // Define python bindings
 void define_counterexamples(py::module& m) {
+
+
     py::class_<boost::container::flat_set<uint_fast64_t>>(m, "FlatSet", "Container to pass to program")
             .def(py::init<>())
             .def("insert", [](boost::container::flat_set<uint_fast64_t>& flatset, uint64_t value) {flatset.insert(value);})
@@ -22,9 +25,6 @@ void define_counterexamples(py::module& m) {
             .def_readonly("model_checking_time", &CexGeneratorStats::modelCheckingTime)
             .def_readonly("solver_time", &CexGeneratorStats::solverTime);
 
-
-
-
     using CexGeneratorOptions =  SMTMinimalLabelSetGenerator<double>::Options;
             py::class_<CexGeneratorOptions>(m, "SMTCounterExampleGeneratorOptions", "Options for highlevel counterexample generation")
                     .def(py::init<>())