summaryrefslogtreecommitdiffstats
path: root/python/generator_lasso_strings.py
diff options
context:
space:
mode:
authorNicolas Clapies <nclapies@entrouvert.com>2004-07-26 23:45:58 +0000
committerNicolas Clapies <nclapies@entrouvert.com>2004-07-26 23:45:58 +0000
commit73fd0e85c53a11df3267ca7946e25530f8f6be8d (patch)
tree33e4661f6d27366b62d9a25ee2f4d70d56062b13 /python/generator_lasso_strings.py
parentdb051a1a73684708d47ede1acefdaeff0cf99120 (diff)
downloadlasso-73fd0e85c53a11df3267ca7946e25530f8f6be8d.tar.gz
lasso-73fd0e85c53a11df3267ca7946e25530f8f6be8d.tar.xz
lasso-73fd0e85c53a11df3267ca7946e25530f8f6be8d.zip
fix a bug in python binding user_add_assertion : give obj of python assertion, add a copy of assertion in lasso_add_assertion ( not sure, but assertion should be copied )
Diffstat (limited to 'python/generator_lasso_strings.py')
0 files changed, 0 insertions, 0 deletions