From 69202f2ddff374619740d90d9af56d3778f00506 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 29 Aug 2018 17:31:40 +0200
Subject: [PATCH] Added space

---
 doc/source/doc/dfts.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/source/doc/dfts.rst b/doc/source/doc/dfts.rst
index d46d821..30d894a 100644
--- a/doc/source/doc/dfts.rst
+++ b/doc/source/doc/dfts.rst
@@ -48,3 +48,4 @@ In our example we compute the `Mean-time-to-failure (MTTF)`::
     >>> result = results[0]
     >>> print("MTTF: {:.2f}".format(result))
     MTTF: 363.89
+