Commit ffa4209e authored by Maximilien Colange's avatar Maximilien Colange

Consistent output between reachability and optimal reachability.

parent 871192b3
......@@ -563,9 +563,9 @@ struct
let to_string ta (res,path) =
if (res = Dbm.PDbm.Dbm.infty) then
"not reachable..."
"Not reachable..."
else
Printf.sprintf "%d with path\n%s" res (Walker.path_to_string ta path)
Printf.sprintf "%d\nPath is\n%s" res (Walker.path_to_string ta path)
end
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