diff --git a/library/time.m b/library/time.m
index b6af6fa10..6b867edb5 100644
--- a/library/time.m
+++ b/library/time.m
@@ -233,7 +233,7 @@ time__times(Tms, Result, IO0, IO) :-
 	CUt = (Integer) t.tms_cutime;
 	CSt = (Integer) t.tms_cstime;
 #else
-	Ret = -1
+	Ret = -1;
 #endif
 	update_io(IO0, IO);
 }").