use floor division // instead of / because in python 3 / returns float, // works...
authorHeather <Heather@cynede.net>
Tue, 5 Mar 2013 07:26:22 +0000 (11:26 +0400)
committerHeather <Heather@cynede.net>
Wed, 6 Mar 2013 11:19:52 +0000 (15:19 +0400)
mono/tests/gc-descriptors/gen-descriptor-tests.py

index d6baaea70a5d7162feca3b2051ac35be8570dcd8..8aa71d41ffac16c6b72181481ec9edd7678113d1 100755 (executable)
@@ -75,7 +75,7 @@ def gen_binary_search (left, right):
     if left + 1 >= right:
         gen_new (names [left])
     else:
-        mid = (left + right) / 2
+        mid = (left + right) // 2
         print ("if (which < %d) {" % mid)
         print ("return %s (which, refs, wrap);" % search_method_name (left, mid))
         print ("} else {")