@@ -1796,6 +1796,7 @@ loadSource lidr f toline
1796 toMutual :: PDecl -> PDecl
1796 toMutual :: PDecl -> PDecl
1797 toMutual m@(PMutual _ d) = m
1797 toMutual m@(PMutual _ d) = m
1798 toMutual (PNamespace x fc ds) = PNamespace x fc (map toMutual ds)
1798 toMutual (PNamespace x fc ds) = PNamespace x fc (map toMutual ds)
1799+ toMutual (POpenInterfaces f ns ds) = POpenInterfaces f ns (map toMutual ds)
1799 toMutual x = let r = PMutual (fileFC "single mutual") [x] in
1800 toMutual x = let r = PMutual (fileFC "single mutual") [x] in
1800 case x of
1801 case x of
1801 PClauses{} -> r
1802 PClauses{} -> r