From 4dd01de7ac51fafe545116805ea2a28db8f26eeb Mon Sep 17 00:00:00 2001
From: Matthew <mlwright84@gmail.com>
Date: Wed, 22 Aug 2018 11:44:29 -0500
Subject: [PATCH] one further update

---
 console.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/console.cpp b/console.cpp
index b183fc1c..791cd6f7 100644
--- a/console.cpp
+++ b/console.cpp
@@ -272,7 +272,7 @@ int main(int argc, char* argv[])
         //This should never happen if docopt is doing its job and the docstring is written correctly
         throw std::runtime_error("Either <input_file> or <module_invariants_file> must be supplied");
     }
-    docopt::value& out_file_name = args["<output_file>"];
+    docopt::value& out_file_name = args["<module_invariants_file>"];
     if (out_file_name.isString()) {
         params.outputFile = out_file_name.asString();
     }