From 2cecac6955ba7cd5bb06c5556565154ed2024620 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Fri, 30 Nov 2018 17:55:52 +0100
Subject: [PATCH] Fix AuthTag-Subsumption to not be order-dependent

Fixes #241
---
 src/Foundation.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Foundation.hs b/src/Foundation.hs
index d2243550c..b6db48a8a 100644
--- a/src/Foundation.hs
+++ b/src/Foundation.hs
@@ -562,7 +562,7 @@ routeAuthTags = fmap (impureNonNull . Set.mapMonotonic impureNonNull) . ofoldM p
            | oany (authTags `Set.isSubsetOf`) prev
              -> Right prev
            | otherwise
-             -> Right $ Set.insert authTags prev
+             -> Right . Set.insert authTags $ Set.filter (not . (`Set.isSubsetOf` authTags)) prev
       | otherwise
         = Left $ InvalidAuthTag t