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
06a7f399
Commit
06a7f399
authored
Oct 26, 2015
by
POTTIER Francois
Browse files
Removed a superfluous newline.
parent
05e3fb7f
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/LRijkstra.ml
View file @
06a7f399
...
...
@@ -558,7 +558,7 @@ let mkfact position (word : W.word) lookahead =
Error
.
error
[]
(
Printf
.
sprintf
"Internal error: a hardwired limit was exceeded.
\n
\
Sys.word_size = %d. Position = %d. Word = %d.
\n
\
%s
\n
%!"
%s%!"
Sys
.
word_size
position
word
advice
)
let
mkfact
p
w
l
=
...
...
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