# HG changeset patch # User Gilles Duboscq # Date 1429379310 -7200 # Node ID 9507c925abe9994bff28fd679a94d356c1476728 # Parent e1c063565b3ca246e699ae25273e2c2b7a5c5c45 fix diff -r e1c063565b3c -r 9507c925abe9 mx/mx_graal.py --- a/mx/mx_graal.py Wed Apr 15 18:21:00 2015 +0200 +++ b/mx/mx_graal.py Sat Apr 18 19:48:30 2015 +0200 @@ -87,7 +87,7 @@ _untilVersion = None class JDKDeployedDist: - def __init__(self, name, isExtension = False, isGraalClassLoader = False): + def __init__(self, name, isExtension=False, isGraalClassLoader=False): self.name = name self.isExtension = isExtension self.isGraalClassLoader = isGraalClassLoader