Commit 62fee8ce authored by Andrei Paskevich's avatar Andrei Paskevich

add Guillaume's copyright to his new transformation

parent 28775e42
......@@ -1168,6 +1168,7 @@ headers:
src/tools/cpulimit.c
headache -c misc/headache_config.txt -h misc/header_gm.txt \
src/transform/abstraction.ml* \
src/transform/instantiate_predicate.ml* \
src/transform/simplify_formula.ml* \
src/printer/print_number.ml* \
src/printer/gappa.ml*
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment