From 892b7e573af10092f43e20801d46299287f5af81 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Sat, 29 Oct 2016 14:36:24 +0200
Subject: [PATCH] Correct sorting for resource listing
---
src/it/scala/inox/ResourceUtils.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/it/scala/inox/ResourceUtils.scala b/src/it/scala/inox/ResourceUtils.scala
index 3c8a910b6..087f5f98a 100644
--- a/src/it/scala/inox/ResourceUtils.scala
+++ b/src/it/scala/inox/ResourceUtils.scala
@@ -24,7 +24,7 @@ trait ResourceUtils {
}
}
- rec(baseDir).filter(f => filter(f.getPath)).toSeq.sortBy(_.getPath)
+ rec(baseDir).filter(f => filter(f.getPath)).toSeq.sortBy(_.getPath).reverse
}
}
}
--
GitLab