fixing #3610
authorChristian Grothoff <christian@grothoff.org>
Fri, 16 Jan 2015 10:20:01 +0000 (10:20 +0000)
committerChristian Grothoff <christian@grothoff.org>
Fri, 16 Jan 2015 10:20:01 +0000 (10:20 +0000)
commite76cde7d644a7ca324fec0f9c59c321e98de8d2e
treea190f5de12d5e0a23c0eff4959d89adee1631d9c
parentab3bb8c4287493e878d91882c0cbc132b2b391e7
fixing #3610
src/cadet/cadet_api.c