-fixing #2434, plus some code cleanup
authorChristian Grothoff <christian@grothoff.org>
Wed, 20 Jun 2012 08:48:01 +0000 (08:48 +0000)
committerChristian Grothoff <christian@grothoff.org>
Wed, 20 Jun 2012 08:48:01 +0000 (08:48 +0000)
commitfe55c2ae5957027fbc7c333889a5f05772e4afea
tree84c6e55e2ee3addf8e059246184c2083cbe7afdb
parent3150eda34aeb93029691241540047380e9337009
-fixing #2434, plus some code cleanup
src/core/core_api.c