From b26efa0d4cd72cf04762df7b7d2eaddc4f4117d2 Mon Sep 17 00:00:00 2001
From: Robin Monnier <monnier.robin@gmail.com>
Date: Fri, 16 Mar 2018 17:40:23 +0100
Subject: [PATCH] fix bug with interpreter args

---
 lib/API/schema.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/API/schema.json b/lib/API/schema.json
index a7d7984e3..79bef624e 100644
--- a/lib/API/schema.json
+++ b/lib/API/schema.json
@@ -33,7 +33,7 @@
       "array",
       "string"
     ],
-    "alias": ["interpreter_args"],
+    "alias": ["interpreterArgs", "interpreter_args"],
     "docDescription": "Arguments to pass to the interpreter"
   },
   "out_file": {
@@ -312,4 +312,4 @@
   "write": {
     "type": "boolean"
   }
-}
\ No newline at end of file
+}