[m-rev.] trivial diff: fix namespace cleanliness in browser directory

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Fix the nightly builds.  The namespace cleanliness check in the
browser directory was failing.

browser/util.m:
 	Add a missing `ML_' prefix.

Julien.

Index: browser/util.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/browser/util.m,v
retrieving revision 1.37
diff -u -r1.37 util.m
--- browser/util.m	5 Dec 2007 05:38:53 -0000	1.37
+++ browser/util.m	5 Dec 2007 13:39:41 -0000
@@ -151,7 +151,7 @@
          MR_free(line);

      } else {
-        BROWSER_trace_get_command_fallback(Prompt, &Line, MdbIn, MdbOut);
+        ML_BROWSER_trace_get_command_fallback(Prompt, &Line, MdbIn, MdbOut);
      }

      State = State0;
@@ -168,7 +168,7 @@

  :- pragma foreign_export("C",
      trace_get_command_fallback(in, out, in, in, di, uo),
-    "BROWSER_trace_get_command_fallback").
+    "ML_BROWSER_trace_get_command_fallback").

  trace_get_command_fallback(Prompt, String, MdbIn, MdbOut, !IO) :-
      io.write_string(MdbOut, Prompt, !IO),

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------