Debian patch tracking system
Makefile | 21 ++++++++++++--------- lib/base_test/base_test.cf | 2 +- src/Makefile | 23 +++++++++++++++++------ src/cfeval/cf.ml | 4 ++-- src/cfeval/cfParserUtil.ml | 2 +- 5 files changed, 33 insertions(+), 19 deletions(-)