.../970126/ynl/{old-code => new-code}/dpll-user.c    | 20 ++++++++++++++++++++
 .../970126/ynl/{old-code => new-code}/dpll-user.h    | 12 ++++++++++++
 2 files changed, 32 insertions(+)