-fixing #2400
authorChristian Grothoff <christian@grothoff.org>
Sat, 9 Jun 2012 15:12:03 +0000 (15:12 +0000)
committerChristian Grothoff <christian@grothoff.org>
Sat, 9 Jun 2012 15:12:03 +0000 (15:12 +0000)
commit7831efe09b1e8d30c7361e4b6c17b6966ad0fafa
treeb4824d071fc9721bbec6609d98ef1fd069dfb232
parent7ae3bcd234e062c28f66db9758f61af401d0a707
-fixing #2400
src/core/core.h
src/core/core_api.c