Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 2776f208 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Indentation.

parent f1ec721f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
src/LRijkstra.ml
+ 2
− 2
View file @ 2776f208
...@@ -209,9 +209,9 @@ let is_solid s = ...@@ -209,9 +209,9 @@ let is_solid s =
match Lr1.incoming_symbol s with match Lr1.incoming_symbol s with
| None | None
| Some (Symbol.T _) -> | Some (Symbol.T _) ->
true true
| Some (Symbol.N _) -> | Some (Symbol.N _) ->
false false
(* [reduction_path_exists s w prod] tests whether the path determined by the (* [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 sequence of symbols [w] out of the state [s] exists in the automaton and
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment