Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
7b2e1b46
Commit
7b2e1b46
authored
Sep 14, 2015
by
POTTIER Francois
Browse files
Typo in a comment (I think).
parent
d52738aa
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/conflict.ml
View file @
7b2e1b46
...
...
@@ -59,7 +59,7 @@ let rec follow derivation offset' = function
to one of the automaton's entry nodes), a fixed string of
input symbols, to be fully consumed, and a goal item. The
objective is to find a path through the automaton that
leads from the start configuration [(st
op
, 0)] to the goal
leads from the start configuration [(st
art
, 0)] to the goal
configuration [(stop, n)], where [n] is the length of the
input string. The automaton is explored via breadth-first
search. A hash table is used to record which configurations
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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