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 27757709 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Removed two checks which I believe are always true.

Because no keyword appears twice in a set of keywords.
parent bdd799d2
......@@ -95,7 +95,7 @@ let rename_keyword_outer
in
let from_pos = Keyword.posvar subject where flavor
and to_pos = Keyword.posvar subject' where' flavor in
if from_pos <> to_pos && not (List.mem_assoc from_pos !phi) then
if from_pos <> to_pos then
phi := (from_pos, to_pos) :: !phi;
Position (subject', where', flavor)
......@@ -122,7 +122,7 @@ let rename_keyword_inner
in
let from_pos = Keyword.posvar subject where flavor
and to_pos = Keyword.posvar subject' where' flavor in
if from_pos <> to_pos && not (List.mem_assoc from_pos !phi) then
if from_pos <> to_pos then
phi := (from_pos, to_pos) :: !phi;
Position (subject', where', flavor)
......
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