From b3699132497f58b45ba0f9480bc54bb4d2ce6469 Mon Sep 17 00:00:00 2001
From: agroce <agroce@gmail.com>
Date: Thu, 25 Apr 2019 08:57:56 -0700
Subject: [PATCH] name change for args

---
 bin/deepstate/eclipser.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/deepstate/eclipser.py b/bin/deepstate/eclipser.py
index fe4ae5d..39fdefb 100644
--- a/bin/deepstate/eclipser.py
+++ b/bin/deepstate/eclipser.py
@@ -68,7 +68,7 @@ def main():
   if args.which_test is not None:
       deepargs += " --input_which_test " + args.which_test
   cmd += ["--initarg", deepargs, "--maxfilelen", str(args.max_input_size)]
-  cmd += args.eclipserargs
+  cmd += args.args
   try:
     r = subprocess.call(cmd)
     print ("Eclipser finished with exit code", r)