diff --git a/src/lib/time.pl b/src/lib/time.pl
index 13df2e42..fd76d3b2 100644
--- a/src/lib/time.pl
+++ b/src/lib/time.pl
@@ -59,15 +59,12 @@ format_time([], _) --> [].
 format_time(['%','%'|Fs], T) --> !, "%", format_time(Fs, T).
 format_time(['%',Spec|Fs], T) --> !,
         (   { member(Spec=Value, T) } ->
-            list(Value)
+            seq(Value)
         ;   { domain_error(time_specifier, Spec, format_time//2) }
         ),
         format_time(Fs, T).
 format_time([F|Fs], T) --> [F], format_time(Fs, T).
 
-list([]) --> [].
-list([L|Ls]) --> [L], list(Ls).
-
 max_sleep_time(0xfffffffffffffbff).
 
 sleep(T) :-