Mini change

Former-commit-id: a24bd187a3

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