mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 02:15:19 +00:00
fix travis build for python doc
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
2fdb703865
commit
94b4d1b442
|
@ -6566,16 +6566,16 @@ class Solver(Z3PPObject):
|
|||
|
||||
>>> 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)
|
||||
|
||||
|
|
Loading…
Reference in a new issue