From 6e258b391363aa2345c4dc265ba381b1712fe083 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 6 Jan 2021 19:57:08 +0100
Subject: make the linter happy

---
 stm/stmargs.ml        | 2 +-
 sysinit/coqargs.mli   | 2 +-
 sysinit/sysinit.mllib | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/stm/stmargs.ml b/stm/stmargs.ml
index 609d4f42e9..e2c7649a8f 100644
--- a/stm/stmargs.ml
+++ b/stm/stmargs.ml
@@ -137,4 +137,4 @@ let parse_args ~init arglist : Stm.AsyncOpts.stm_opt * string list =
 
 let usage = "\
 \n  -stm-debug             STM debug mode (will trace every transaction)\
-"
\ No newline at end of file
+"
diff --git a/sysinit/coqargs.mli b/sysinit/coqargs.mli
index cc622fabe3..aef50193f2 100644
--- a/sysinit/coqargs.mli
+++ b/sysinit/coqargs.mli
@@ -103,4 +103,4 @@ val get_float : opt:string -> string -> float
 val error_missing_arg : string -> 'a
 val error_wrong_arg : string -> 'a
 
-val set_option : Goptions.option_name * option_command -> unit
\ No newline at end of file
+val set_option : Goptions.option_name * option_command -> unit
diff --git a/sysinit/sysinit.mllib b/sysinit/sysinit.mllib
index 715de2bb82..6e86536648 100644
--- a/sysinit/sysinit.mllib
+++ b/sysinit/sysinit.mllib
@@ -1,4 +1,4 @@
 Usage
 Coqloadpath
 Coqargs
-Coqinit
\ No newline at end of file
+Coqinit
-- 
cgit v1.2.3