Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 3aac6d45 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

fix #13623

parent 652e4920
......@@ -1210,7 +1210,8 @@ DISTRIB_FILES = Version Makefile.in configure.in META.in configure \
modules/*.mlw \
lib/coq/*/*.v \
share/provers-detection-data.conf.in \
share/emacs/why.el share/images/*.png share/lang/*.lang
share/emacs/why.el share/images/*.png share/lang/*.lang \
share/bash/why3 share/zsh/_why3 share/vim/why3.vim
# TODO?
# share/zsh ?
......
......@@ -479,11 +479,13 @@ and wp_desc env rm e q = match e.expr_desc with
let q1 =
try
let r2 = match e2.expr_desc with
| Elogic ({ t_ty = None } as t) -> mk_t_if env t
| Elogic t -> t
| Elocal pv -> t_var pv.pv_pure
| Eglobal { ps_kind = PSvar pv } -> t_var pv.pv_pure
| _ -> raise Exit in
let r3 = match e3.expr_desc with
| Elogic ({ t_ty = None } as t) -> mk_t_if env t
| Elogic t -> t
| Elocal pv -> t_var pv.pv_pure
| Eglobal { ps_kind = PSvar pv } -> t_var pv.pv_pure
......
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