Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 2c487dd1 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

move Print_number to src/util

parent 32c3adb3
...@@ -111,7 +111,7 @@ LIBGENERATED = src/util/rc.ml src/parser/lexer.ml \ ...@@ -111,7 +111,7 @@ LIBGENERATED = src/util/rc.ml src/parser/lexer.ml \
src/driver/driver_parser.mli src/driver/driver_parser.ml \ src/driver/driver_parser.mli src/driver/driver_parser.ml \
src/driver/driver_lexer.ml src/driver/driver_lexer.ml
LIB_UTIL = stdlib exn_printer debug pp loc print_tree \ LIB_UTIL = stdlib exn_printer debug pp loc print_tree print_number \
cmdline hashweak hashcons util sysutil rc plugin cmdline hashweak hashcons util sysutil rc plugin
LIB_CORE = ident ty term pattern decl theory task pretty env trans printer LIB_CORE = ident ty term pattern decl theory task pretty env trans printer
...@@ -133,8 +133,8 @@ LIB_TRANSFORM = simplify_recursive_definition simplify_formula \ ...@@ -133,8 +133,8 @@ LIB_TRANSFORM = simplify_recursive_definition simplify_formula \
introduction abstraction close_epsilon lift_epsilon \ introduction abstraction close_epsilon lift_epsilon \
eval_match instantiate_predicate eval_match instantiate_predicate
LIB_PRINTER = print_number alt_ergo why3printer smtv1 smtv2 \ LIB_PRINTER = alt_ergo why3printer smtv1 smtv2 coq tptp simplify gappa \
coq tptp simplify gappa cvc3 yices cvc3 yices
LIBMODULES = src/config \ LIBMODULES = src/config \
$(addprefix src/util/, $(LIB_UTIL)) \ $(addprefix src/util/, $(LIB_UTIL)) \
......
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