# HG changeset patch
# User Andreas Woess <andreas.woess@jku.at>
# Date 1417719039 -3600
# Node ID 23de014b38ab80c500f5c6fc56a1a446d6a71d0f
# Parent  965f1e08c083427770d3862287f2ca05c457ff88
mx: fix missing frozenset constructor to fix intersection

diff -r 965f1e08c083 -r 23de014b38ab mxtool/mx.py
--- a/mxtool/mx.py	Thu Dec 04 16:12:03 2014 +0100
+++ b/mxtool/mx.py	Thu Dec 04 19:50:39 2014 +0100
@@ -880,7 +880,7 @@
                     if not existing:
                         suite[s] = additional
                     else:
-                        conflicting = additional.keys() & existing.keys()
+                        conflicting = frozenset(additional.keys()) & frozenset(existing.keys())
                         if conflicting:
                             abort(modulePath + ' redefines: ' + ', '.join(conflicting))
                         existing.update(additional)