[m-dev.] trivial diff: import `io' in profiler/globals.m
Fergus Henderson
fjh at cs.mu.OZ.AU
Fri Mar 2 03:55:01 AEDT 2001
Estimated hours taken: 0.1
profiler/globals.m:
Fix a bug that showed up with the new compiler:
import `io' in the interface section.
Workspace: /home/hg/fjh/mercury
Index: profiler/globals.m
===================================================================
RCS file: /home/mercury1/repository/mercury/profiler/globals.m,v
retrieving revision 1.6
diff -u -d -r1.6 globals.m
--- profiler/globals.m 1998/10/12 14:17:32 1.6
+++ profiler/globals.m 2001/03/01 16:53:44
@@ -16,7 +16,7 @@
%-----------------------------------------------------------------------------%
:- interface.
-:- import_module bool, list, options, getopt.
+:- import_module bool, list, options, getopt, io.
:- type globals.
@@ -95,7 +95,7 @@
%-----------------------------------------------------------------------------%
:- implementation.
-:- import_module map, std_util, io, require.
+:- import_module map, std_util, require.
%-----------------------------------------------------------------------------%
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
| of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list