[m-rev.] diff: Move a module import declaration.
Peter Wang
novalazy at gmail.com
Fri Aug 26 12:20:01 AEST 2022
For some reason, the compiler warned about the map module being unused
in the interface section of term_subst.m when building in the
csharp and java grades, but not the C grades. I have not investigated.
---
library/term_subst.m:
Move a module import declaration from the interface section,
where it was unused, to the implementation section.
diff --git a/library/term_subst.m b/library/term_subst.m
index c9771149f..1165e5c07 100644
--- a/library/term_subst.m
+++ b/library/term_subst.m
@@ -20,7 +20,6 @@
:- interface.
:- import_module list.
-:- import_module map.
:- import_module term.
%---------------------------------------------------------------------------%
@@ -212,6 +211,7 @@
:- implementation.
+:- import_module map.
:- import_module require.
:- import_module term_context.
--
2.37.1
More information about the reviews
mailing list