tree bd1c529765a8364a4c83cfcd3dc31583788c9335
parent 4edc5eb6396fb962ed0827df5ab24cb3b8a7598f
author Jack Jansen <jack.jansen@cwi.nl> 993072067 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 993072067 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4021219

Added a const to shut up a compiler warning.