From 726048080e600f7a7c5c13bf1d1f422d6cba06f7 Mon Sep 17 00:00:00 2001 From: mdrafiqulrabin Date: Tue, 27 Aug 2019 15:06:08 -0500 Subject: [PATCH] Fix: invalid option: --global-variables Issue #78 --- src/RandomProgramGenerator.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/RandomProgramGenerator.cpp b/src/RandomProgramGenerator.cpp index 64287bac7..1296d5404 100644 --- a/src/RandomProgramGenerator.cpp +++ b/src/RandomProgramGenerator.cpp @@ -910,7 +910,7 @@ main(int argc, char **argv) continue; } - if (strcmp (argv[i], "--global-variabless") == 0) { + if (strcmp (argv[i], "--global-variables") == 0) { CGOptions::global_variables(true); continue; }