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 d7b0eed9 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Fix missing locations on post-condition formulas.

parent 59586b88
......@@ -1023,7 +1023,7 @@ let type_term uc denv env t =
term env t
let type_fmla uc denv env f =
let f = dfmla uc denv f in
let f = dfmla ~localize:(Some None) uc denv f in
fmla env f
let add_prop k loc s f th =
......
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