mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-13 12:28:44 +00:00
Code Activity

Fixed comments about contributed code.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-10-02 19:45:33 +01:00
parent 7c36846d39
commit a9d395ed7a
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/api/python/z3util.py
View file

@ -2,8 +2,9 @@
from z3 import *
def vset(seq, idfun=None, as_list=True):
# This functions preserves the order of arguments while removing duplicates.
# This function is from https://code.google.com/p/common-python-vu/source/browse/vu_common.py
# It preserves the order of arguments while removing duplicates.
# (Thanhu's personal code). It has been copied here to avoid a dependency on vu_common.py.
"""
order preserving