summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorDavid Kalnischkies <david@kalnischkies.de>2016-06-08 10:56:14 +0200
committerDavid Kalnischkies <david@kalnischkies.de>2016-06-08 13:07:21 +0200
commit4dc619c0435d44a6a03cfda357654d3d76833b68 (patch)
treec889ca117d4ce4fb22987f2be365c3cb89f9ed86 /README.md
parentab07af708e49c9219940ffd3e20a01c763267e03 (diff)
edsp: if internal is used, keep this decision
It wasn't noticeable before, but now with the (optional) logging it can be observed that we decide in the internal path two times if an internal or external solver should be used (and hence with logging, it is attempted twice), so if we are in the internal path call the internal resolver directly, which means those internal methods need to be public – but we can hide them based on the symbol at least.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions