enhanced comment for `execute'

This commit is contained in:
Jocelyn Fiat
2011-07-13 15:37:50 +02:00
parent 9d1fb56cc1
commit 4e2f0dbc72
2 changed files with 3 additions and 1 deletions