28 Avr
2022
28 Avr
'22
09:56
Salut Ismaïla,
@@ -197,9 +200,9 @@ let senv_lookup (name: string) (ctx: elab_context): int = else names) map [] in - if ((String.sub name 0 1) = "_" || - (String.sub name ((String.length name) - 1) 1) = "_") && - ((String.length name) > 1) then + if ((String.length name) > 1) && + ((String.sub name 0 1) = "_" || + (String.sub name ((String.length name) - 1) 1) = "_") then search r else [] in
A fait, tu peux installer ce "hunk" directement dans `master`, vu que c'est "obviously safe". Stefan