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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stm')

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
+"
-- 
cgit v1.2.3