/home/nipa/nipa_out/1017329/ynl/{old-code => new-code}/dpll-user.c | 6 ++++++
 /home/nipa/nipa_out/1017329/ynl/{old-code => new-code}/dpll-user.h | 2 ++
 2 files changed, 8 insertions(+)