From 545dad861bdf941df9c2a60386a84b8308d101f5 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Mon, 25 Jan 2016 18:13:02 +0100
Subject: [PATCH] Mini change

Former-commit-id: a24bd187a37ea077378a24761289df89277a4326
---
 src/storm-dyftee.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storm-dyftee.cpp b/src/storm-dyftee.cpp
index 2e9e88bbf..cf9922c47 100644
--- a/src/storm-dyftee.cpp
+++ b/src/storm-dyftee.cpp
@@ -46,7 +46,8 @@ void analyzeDFT(std::string filename, std::string property) {
  */
 int main(int argc, char** argv) {
     if(argc < 2) {
-        std::cout <<  "Storm-DyFTeE should be called with a filename as argument." << std::endl;
+        std::cout << "Storm-DyFTeE should be called with a filename as argument." << std::endl;
+        std::cout << "./storm-dft <filename> <optional pctl-formula> <optional --parametric>" << std::endl;
         return 1;
     }