From 2776f2080fd1104fe54dbdc7e26acf857d24bed3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Mon, 23 Nov 2015 14:33:23 +0100
Subject: [PATCH] Indentation.
---
src/LRijkstra.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/LRijkstra.ml b/src/LRijkstra.ml
index ea99acacc..63d30a55d 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
--
GitLab