Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
b3528d40
Commit
b3528d40
authored
Nov 21, 2020
by
POTTIER Francois
Browse files
Remove an [@inline] annotation that is not supported by old versions of OCaml.
parent
cd67c464
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/lr1.ml
View file @
b3528d40
...
...
@@ -713,7 +713,7 @@ module NodeSet = struct
argument and its result when a logical equality holds. We wrap it
so as to obtain this property. *)
let
[
@
inline
]
leq_join
s1
s2
=
let
leq_join
s1
s2
=
if
subset
s1
s2
then
s2
else
union
s1
s2
end
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment