Commit cdcbb98d authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Indentation.

parent bfe3733b
...@@ -1225,11 +1225,11 @@ module A = Astar.Make(struct ...@@ -1225,11 +1225,11 @@ module A = Astar.Make(struct
of the word [w.z'] is [z]. For every [z'] and [w] that of the word [w.z'] is [z]. For every [z'] and [w] that
fulfill these requirements, we have an edge to [s', z'], fulfill these requirements, we have an edge to [s', z'],
labeled with the word [w]. *) labeled with the word [w]. *)
foreach_terminal (fun z' -> foreach_terminal (fun z' ->
E.query s nt z z' (fun w -> E.query s nt z z' (fun w ->
edge w (W.length w) (s', z') edge w (W.length w) (s', z')
) )
) )
) )
(* Algorithm A*, used with a zero estimate, is Dijkstra's algorithm. (* Algorithm A*, used with a zero estimate, is Dijkstra's algorithm.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment