Skip to content
Snippets Groups Projects
Commit 47a40645 authored by Cécile Ruet-Cros's avatar Cécile Ruet-Cros Committed by Loïc Correnson
Browse files

[region] make lint

parent 273c39d6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/region/Region.ml
+ 3
− 3
View file @ 47a40645
...@@ -68,9 +68,9 @@ let pp_region fmt region : unit = Memory.pp_region fmt region ...@@ -68,9 +68,9 @@ let pp_region fmt region : unit = Memory.pp_region fmt region
type acs = { type acs = {
acs_read : typ list; acs_read : typ list;
acs_write : typ list; acs_write : typ list;
acs_shift : typ list; acs_shift : typ list;
} }
let empty_acs = { let empty_acs = {
acs_read = []; acs_read = [];
......
src/plugins/region/Region.mli
+ 3
− 3
View file @ 47a40645
...@@ -52,9 +52,9 @@ val pp_region : Format.formatter -> region -> unit ...@@ -52,9 +52,9 @@ val pp_region : Format.formatter -> region -> unit
(* API ACCESS *) (* API ACCESS *)
type acs = { type acs = {
acs_read : typ list; acs_read : typ list;
acs_write : typ list; acs_write : typ list;
acs_shift : typ list; acs_shift : typ list;
} }
val empty_acs : acs val empty_acs : acs
val accesses : region -> acs val accesses : region -> acs
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