ENHANCED: Reorder fields in time stamps so that (@<)/2 is meaningful.

2020-07-16 23:33:52 +02:00
parent 4f386b3e5e
commit 8668aee7fd
2 changed files with 3 additions and 1 deletions
--- a/src/lib/files.pl
+++ b/src/lib/files.pl
@@ -125,6 +125,8 @@ path_canonical(Ps, Cs) :-
 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
   T is the modification time of File.
   T is a time stamp, suitable for use in format_time//2 in library(time).
+
+   For two time stamps A and B, if A precedes B, then A @< B holds.
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */

 file_modification_time(File, T) :-