Merge branch 'cok-typo' into 'master'

Simple typo

See merge request frama-c/frama-c!2168

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;