From 37ef85beaafc5fbe8efcc299a447cad88917cf4d Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sat, 29 Dec 2018 13:50:28 +0000
Subject: [PATCH] Space

---
 reactics.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/reactics.cc b/reactics.cc
index 99731ba..b4745fc 100644
--- a/reactics.cc
+++ b/reactics.cc
@@ -242,7 +242,7 @@ void print_help(std::string path_str)
        << " ###################################" << endl
        << endl
 #endif
-       << " Usage: " << path_str << " [options] <inputfile>" << endl << endl
+       << " Usage: " << path_str << " [options] <input file>" << endl << endl
        << " TASKS:" << endl
        << "  -c   -- perform RSCTLK model checking" << endl
        //<< " -f K -- generate SMT input for the depth K" << endl