Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
parser
lexer.mll
Find file
Blame
History
Permalink
Lexer: use Strings.has_prefix instead of Filename.remove_extension
· d95b50c5
Andrei Paskevich
authored
Jun 27, 2018
d95b50c5