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 aa573b15 authored by Johannes Kanig's avatar Johannes Kanig
Browse files

close_epsilon requires HO theory

parent 49385a25
......@@ -81,7 +81,8 @@ and rewriteF f = f_map rewriteT rewriteF f
let close d = [decl_map rewriteT rewriteF d]
let close_epsilon = Trans.decl close None
let close_epsilon =
Trans.on_theory highord_theory (fun _ -> Trans.decl close None)
let () = Trans.register_transform "close_epsilon" close_epsilon
......
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