From a9d395ed7aaf6e928fb30f7256751becadd83060 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 2 Oct 2015 19:45:33 +0100 Subject: [PATCH] Fixed comments about contributed code. --- src/api/python/z3util.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/api/python/z3util.py b/src/api/python/z3util.py index 38d345cf6..43484ef23 100644 --- a/src/api/python/z3util.py +++ b/src/api/python/z3util.py @@ -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