Attention une mise à jour du service Gitlab va être effectuée le mardi 18 janvier (et non lundi 17 comme annoncé précédemment) entre 18h00 et 18h30. 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.

Commit df8a5743 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

temporarily turn off termination checking (bug #11411)

parent ffbbc1b8
...@@ -429,7 +429,7 @@ let create_logic_decl ldl = ...@@ -429,7 +429,7 @@ let create_logic_decl ldl =
syms, news_id news ls.ls_name syms, news_id news ls.ls_name
in in
let (syms,news) = List.fold_left check_decl (Sid.empty,Sid.empty) ldl in let (syms,news) = List.fold_left check_decl (Sid.empty,Sid.empty) ldl in
ignore (check_termination ldl); (* ignore (check_termination ldl); *)
mk_decl (Dlogic ldl) syms news mk_decl (Dlogic ldl) syms news
exception InvalidIndDecl of lsymbol * prsymbol exception InvalidIndDecl of lsymbol * prsymbol
......
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