Commit f1d95730 authored by Andrei Paskevich's avatar Andrei Paskevich

Guillaume's copyright for print_numbers.ml

parent 712b9764
......@@ -1166,6 +1166,7 @@ headers:
headache -c misc/headache_config.txt -h misc/header_gm.txt \
src/transform/abstraction.ml* \
src/transform/simplify_formula.ml* \
src/printer/print_number.ml* \
src/printer/gappa.ml*
headache -c misc/headache_config.txt -h misc/header_jk.txt \
src/transform/close_epsilon.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