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
8656ba66
Commit
8656ba66
authored
Oct 25, 2015
by
POTTIER Francois
Browse files
Typo in a comment.
parent
6b3783f7
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/back.ml
View file @
8656ba66
...
...
@@ -9,7 +9,7 @@ let () =
let
module
L
=
LRijkstra
.
Run
(
struct
(* Undocumented: if [--log-automaton 2] is set, be verbose. *)
let
verbose
=
Settings
.
logA
>=
2
(* For my own purposes, LRijstra can print one line of statistics to a .csv file. *)
(* For my own purposes, LRij
k
stra can print one line of statistics to a .csv file. *)
let
statistics
=
if
false
then
Some
"lr.csv"
else
None
end
)
in
exit
0
...
...
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