diff --git a/src/LRijkstra.ml b/src/LRijkstra.ml index ea99acacc75b2210ac9ea8732a5ea0311382dfc3..63d30a55dbfc0755cc0251be061396e85ca5accc 100644 --- a/src/LRijkstra.ml +++ b/src/LRijkstra.ml @@ -209,9 +209,9 @@ let is_solid s = match Lr1.incoming_symbol s with | None | Some (Symbol.T _) -> - true + true | Some (Symbol.N _) -> - false + false (* [reduction_path_exists s w prod] tests whether the path determined by the sequence of symbols [w] out of the state [s] exists in the automaton and