From d030fa99099de25d85eb42f34ed159d0d31e3f71 Mon Sep 17 00:00:00 2001 From: Tim Felle Olsen Date: Mon, 4 Dec 2023 15:42:29 +0100 Subject: [PATCH] signal.f90 single line --- src/common/signal.f90 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/common/signal.f90 b/src/common/signal.f90 index adf49fa14d0a..d32e864ab1e4 100644 --- a/src/common/signal.f90 +++ b/src/common/signal.f90 @@ -84,7 +84,7 @@ function signal_timeout() result(timeout) else timeout = .false. end if - + end function signal_timeout !> Check if a user signal has been raised