close_log method

void close_log()

\brief Close interaction log.

\sa Z3_open_log \sa Z3_append_log

extra_API('Z3_close_log', VOID, ())

Implementation

void close_log() {
  return _close_log();
}