fix stray log calls that lagged the core-api prefix
authorChristian Grothoff <christian@grothoff.org>
Sun, 22 Jan 2017 21:49:30 +0000 (22:49 +0100)
committerChristian Grothoff <christian@grothoff.org>
Sun, 22 Jan 2017 21:49:30 +0000 (22:49 +0100)
commitac78538f43e5bf63af2d5327d93834e48bb10795
tree39965fe4e35d93f687ab5de31325af82a20bf5a1
parent37b981ae53b24155cc237eb1650c3457768d7c54
fix stray log calls that lagged the core-api prefix
src/core/core_api.c