do not crash for #4588
authorChristian Grothoff <christian@grothoff.org>
Thu, 23 Jun 2016 20:01:41 +0000 (20:01 +0000)
committerChristian Grothoff <christian@grothoff.org>
Thu, 23 Jun 2016 20:01:41 +0000 (20:01 +0000)
commitfb80a8163d9ff402a4502e29712000d71543fe60
tree79be56085e1ec604fdb83b82e1d2f1c083a2020c
parent01de5a0922056472969cf23a87241791a6f8cc1f
do not crash for #4588
src/core/core_api.c