From d2a1b32b90377d9b0836da78597012596b31a97d Mon Sep 17 00:00:00 2001
From: DavidCok <cok@frontiernet.net>
Date: Wed, 20 Feb 2019 10:27:29 +0100
Subject: [PATCH] Simple typo
---
share/libc/time.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/share/libc/time.h b/share/libc/time.h
index 52c4455579f..ffe74960d94 100644
--- a/share/libc/time.h
+++ b/share/libc/time.h
@@ -169,7 +169,7 @@ extern int clock_getres(clockid_t, struct timespec *);
#else
// simulates a system without monotonic clock
assigns \result\from clk_id;
- ensures error: \result == EINVAL
+ ensures error: \result == EINVAL;
#endif
behavior bad_clock_id:
assumes bad_id: clk_id != CLOCK_REALTIME && clk_id != CLOCK_MONOTONIC;
--
GitLab