spurious report of redundant import

[kohlhase]

In .../MathHub/MiKoProblems/GenCS/source/dmath/en/function-props3.tex I get a spurious report.

for all that I can tell, this is caused by

\usemhmodule[mhrepos=MiKoMH/GenCS,dir=dmath/en]{function-properties}

which loads .../MathHub/MiKoMH/GenCS/source/dmath/en/functions.tex, which in turn has a

\begin{nexample}[for=domain-codomain-remark,id=different-domains-different]
  \guse[smglom/arithmetics]{realarith}
...
\end{nexample}

But a \guse is not re-exported, and should not make the \guse[smglom/arithmetics]{integernumbers} redundant.

[kohlhase]

There are quite a few instances of this.

[kohlhase]

One thing that might also be the cause is that I have introduced new environments {nexample}, {nassertion}, {nsproof}, ... and the offending \guse in functions.tex is in the first one.