From 43f4d259c18816b3a241ef4b4fab6fb05f79637d Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 12 Mar 2019 18:31:41 +0100
Subject: [PATCH] [lint] lintify rmtmps
Given that the previous commits made so many whitespace changes, it'd be
a shame not to do it
---
.Makefile.lint | 2 --
src/kernel_internals/typing/rmtmps.mli | 10 +++++-----
2 files changed, 5 insertions(+), 7 deletions(-)
diff --git a/.Makefile.lint b/.Makefile.lint
index cdddb760969..fc916bfa1e3 100644
--- a/.Makefile.lint
+++ b/.Makefile.lint
@@ -23,8 +23,6 @@ ML_LINT_KO+=src/kernel_internals/typing/mergecil.ml
ML_LINT_KO+=src/kernel_internals/typing/mergecil.mli
ML_LINT_KO+=src/kernel_internals/typing/oneret.ml
ML_LINT_KO+=src/kernel_internals/typing/oneret.mli
-ML_LINT_KO+=src/kernel_internals/typing/rmtmps.ml
-ML_LINT_KO+=src/kernel_internals/typing/rmtmps.mli
ML_LINT_KO+=src/kernel_internals/typing/translate_lightweight.ml
ML_LINT_KO+=src/kernel_internals/typing/translate_lightweight.mli
ML_LINT_KO+=src/kernel_internals/typing/unroll_loops.ml
diff --git a/src/kernel_internals/typing/rmtmps.mli b/src/kernel_internals/typing/rmtmps.mli
index 61f49635423..510a6565b05 100644
--- a/src/kernel_internals/typing/rmtmps.mli
+++ b/src/kernel_internals/typing/rmtmps.mli
@@ -72,7 +72,7 @@
* Note that certain CIL- and CCured-specific pragmas induce
* additional global roots. This functionality is always present, and
* is not subject to replacement by "filterRoots".
- *)
+*)
type rootsFilter = Cil_types.global -> bool
@@ -83,10 +83,10 @@ val isCompleteProgramRoot : rootsFilter
val removeUnusedTemps: ?isRoot:rootsFilter -> Cil_types.file -> unit
(** removes unused labels for which [is_removable] is true.
-[is_removable] defaults to the negation of boolean flag of [Label]
-{i i.e.} only labels generated by CIL may be removed.
-@since Carbon-20101201
- *)
+ [is_removable] defaults to the negation of boolean flag of [Label]
+ {i i.e.} only labels generated by CIL may be removed.
+ @since Carbon-20101201
+*)
val remove_unused_labels:
?is_removable:(Cil_types.label -> bool) -> Cil_types.fundec -> unit
--
GitLab