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

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

(limited to 'sysinit')

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