[m-rev.] trivial diff: fix typo in reference manual

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

doc/reference_manual.texi:
 	Fix the signature of the MR_trail_function, the first argument
 	has type void (*)(void *, MR_untrail_reason), not
 	void (*)(MR_Word, MR_untrail_reason).

Julien.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.390
diff -u -r1.390 reference_manual.texi
--- reference_manual.texi	4 Apr 2007 04:38:49 -0000	1.390
+++ reference_manual.texi	7 May 2007 05:18:06 -0000
@@ -8616,7 +8616,7 @@
  @} MR_untrail_reason;

  void MR_trail_function(
-        void (*@var{untrail_func})(MR_Word, MR_untrail_reason),
+        void (*@var{untrail_func})(void *, MR_untrail_reason),
          void *@var{value}
  );
  @end example

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------