fix travis build for python doc

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Mar 29, 2021 · 94b4d1b · 94b4d1b
1 parent 2fdb703
commit 94b4d1b
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
@@ -6566,16 +6566,16 @@ def num_scopes(self):
 
         >>> s = Solver()
         >>> s.num_scopes()
-        0L
+        0
         >>> s.push()
         >>> s.num_scopes()
-        1L
+        1
         >>> s.push()
         >>> s.num_scopes()
-        2L
+        2
         >>> s.pop()
         >>> s.num_scopes()
-        1L
+        1
         """
         return Z3_solver_get_num_scopes(self.ctx.ref(), self.solver)