浏览代码

[eval] fixed Sys.args() (closes #7185)

Alexander Kuzmenko 7 年之前
父节点
当前提交
c43a08d8bf
共有 1 个文件被更改,包括 1 次插入1 次删除
  1. 1 1
      src/context/common.ml

+ 1 - 1
src/context/common.ml

@@ -357,7 +357,7 @@ let create version s_version args =
 			unresolved_identifiers = [];
 			interface_field_implementations = [];
 		};
-		sys_args = [];
+		sys_args = args;
 		debug = false;
 		display = DisplayTypes.DisplayMode.create !Parser.display_mode;
 		verbose = false;