| Index: tools/jsmin.py
|
| diff --git a/tools/jsmin.py b/tools/jsmin.py
|
| index e82f3d031e884c92767e2714c6a191e7c25b526e..250dea9d72bf2f6e2780c3368d7891d1efdc3278 100644
|
| --- a/tools/jsmin.py
|
| +++ b/tools/jsmin.py
|
| @@ -1,6 +1,6 @@
|
| #!/usr/bin/python2.4
|
|
|
| -# Copyright 2009 the V8 project authors. All rights reserved.
|
| +# Copyright 2012 the V8 project authors. All rights reserved.
|
| # Redistribution and use in source and binary forms, with or without
|
| # modification, are permitted provided that the following conditions are
|
| # met:
|
| @@ -154,7 +154,7 @@ class JavaScriptMinifier(object):
|
| return var_name
|
| while True:
|
| identifier_first_char = self.identifier_counter % 52
|
| - identifier_second_char = self.identifier_counter / 52
|
| + identifier_second_char = self.identifier_counter // 52
|
| new_identifier = self.CharFromNumber(identifier_first_char)
|
| if identifier_second_char != 0:
|
| new_identifier = (
|
|
|