.../ynl_build-tmp.ATJZN4/{old-code => new-code}/dpll-user.c | 13 ++++++++-----
 .../ynl_build-tmp.ATJZN4/{old-code => new-code}/dpll-user.h | 11 +++++++++--
 2 files changed, 17 insertions(+), 7 deletions(-)