.../nipa_out/1006598/ynl/{old-code => new-code}/dpll-user.c   |  8 ++++++++
 .../nipa_out/1006598/ynl/{old-code => new-code}/dpll-user.h   | 11 +++++++++++
 2 files changed, 19 insertions(+)