From 1c6f06d24b639882b4225ea143529a2ecac6a9de Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Fri, 14 Dec 2018 19:55:58 +0100
Subject: [PATCH] [Aorai] Linting
---
src/plugins/aorai/aorai_graph.ml | 1 -
src/plugins/aorai/aorai_graph.mli | 1 -
src/plugins/aorai/aorai_metavariables.ml | 4 ++--
3 files changed, 2 insertions(+), 4 deletions(-)
diff --git a/src/plugins/aorai/aorai_graph.ml b/src/plugins/aorai/aorai_graph.ml
index 9425f061212..03cdb1cb3d9 100644
--- a/src/plugins/aorai/aorai_graph.ml
+++ b/src/plugins/aorai/aorai_graph.ml
@@ -68,4 +68,3 @@ let init_states g =
let edges g =
fold_edges_e (fun e acc -> e :: acc) g []
-
diff --git a/src/plugins/aorai/aorai_graph.mli b/src/plugins/aorai/aorai_graph.mli
index 38d110bb4db..9afaff33de3 100644
--- a/src/plugins/aorai/aorai_graph.mli
+++ b/src/plugins/aorai/aorai_graph.mli
@@ -40,4 +40,3 @@ val of_automaton : Promelaast.typed_automaton -> t
val states : t -> state list
val init_states : t -> state list
val edges : t -> edge list
-
diff --git a/src/plugins/aorai/aorai_metavariables.ml b/src/plugins/aorai/aorai_metavariables.ml
index 9f68b996398..5621752e3f5 100644
--- a/src/plugins/aorai/aorai_metavariables.ml
+++ b/src/plugins/aorai/aorai_metavariables.ml
@@ -121,8 +121,8 @@ struct
in
let initialized' = List.fold_left add_initialized initialized act in
Aorai_option.debug ~dkey "%a {%a} -> %a {%a}"
- pretty_state src pretty_set initialized
- pretty_state dst pretty_set initialized';
+ pretty_state src pretty_set initialized
+ pretty_state dst pretty_set initialized';
InitializedSet initialized'
end
--
GitLab