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
6e471e25
Commit
6e471e25
authored
Sep 22, 2015
by
POTTIER Francois
Browse files
Typo.
parent
103a534b
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/LRijkstra.ml
View file @
6e471e25
...
@@ -204,7 +204,7 @@ let is_solid s =
...
@@ -204,7 +204,7 @@ let is_solid s =
We represent the star rooted at [s] as a trie. For every state [s], the
We represent the star rooted at [s] as a trie. For every state [s], the
star rooted at [s] is constructed in advance, before the algorithm runs.
star rooted at [s] is constructed in advance, before the algorithm runs.
While the algorithm runs, a point in the trie (that is, a sub-trie) tells
While the algorithm runs, a point in the trie (that is, a sub-trie) tells
us where we come f
o
rm, where we are, and which production(s) we are hoping
us where we come fr
o
m, where we are, and which production(s) we are hoping
to reduce in the future. *)
to reduce in the future. *)
module
Trie
:
sig
module
Trie
:
sig
...
...
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