michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(bin/linja.in): roll back d8fb6f5

Browse source 
The previous fix d8fb6f5 creates a problem in Linux platform.

Related issue: #986
This commit is contained in:
Soonho Kong 2016-02-15 14:31:15 -05:00
parent ca1901bb2c
commit 994815bc77
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
bin/linja.in
View file

@ -414,7 +414,7 @@ def get_lean_options(args):
if args.to_axiom:
args.lean_options.append("--to_axiom")
if args.cache:
args.lean_options += ["-c", '"%s"' % args.cache]
args.lean_options += ["-c", '%s' % args.cache]
if args.lean_config_option:
for item in args.lean_config_option:
args.lean_options.append("-D" + item)