-fixing #2332, plus some minor refactoring
authorChristian Grothoff <christian@grothoff.org>
Wed, 9 May 2012 18:41:51 +0000 (18:41 +0000)
committerChristian Grothoff <christian@grothoff.org>
Wed, 9 May 2012 18:41:51 +0000 (18:41 +0000)
commit1ff6491c4bfb2323237bc2af60ee6279e1f4167e
tree316c7802672f457ea14a9bfc98d41df1317c5dc1
parent28095476f5a76b9483e3ecc9b9a3ab7ddd4ff54b
-fixing #2332, plus some minor refactoring
src/core/core_api.c