On Thursday 09 April 2009 09:23:37 Sven Joachim wrote: > Note that the #.b# file is listed at the top in (1) and at the bottom in > (2), despite all filenames in the directory being the same!
Thanks for discovering this! The transitive axiom of the predicate is broken. I am working on a fix. It seems like a regression from this commit: http://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commitdiff;h=0443c2f39943017f0aaa0afacbf68fb725858963 Kamil
