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 = ( |