.../{old-code => new-code}/dpll-user.c                     | 14 ++++++++++++++
 .../{old-code => new-code}/dpll-user.h                     | 13 +++++++++++++
 2 files changed, 27 insertions(+)