[m-rev.] trivial diff: fix some documentation bitrot

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

runtime/mercury_trail.h:
 	Update some references to the file mercury_regorder.h.
 	That file was deleted some time ago.

Julien.

Index: mercury_trail.h
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/runtime/mercury_trail.h,v
retrieving revision 1.24
diff -u -r1.24 mercury_trail.h
--- mercury_trail.h	2 May 2007 07:21:40 -0000	1.24
+++ mercury_trail.h	3 May 2007 02:56:54 -0000
@@ -335,7 +335,7 @@

  /* Pointer to the current top of the Mercury trail */
  /*
-** N.B. Use `MR_trail_ptr', defined in mercury_regorder.h,
+** N.B. Use `MR_trail_ptr', defined in mercury_regs.h,
  ** not `MR_trail_ptr_var'.
  */

@@ -347,7 +347,7 @@
  ** semidet choice points, e.g. in an if-then-else) and it is reset whenever
  ** a choice point is backtracked over or pruned away.
  **
-** N.B.  Use `MR_ticket_counter', defined in mercury_regorder.h,
+** N.B.  Use `MR_ticket_counter', defined in mercury_regs.h,
  ** not `MR_ticket_counter_var'.
  */

@@ -360,7 +360,7 @@
  ** but which is _not_ decremented or reset when a choice point is
  ** pruned away with a commit.
  **
-** N.B.  Use `MR_ticket_high_water', defined in mercury_regorder.h,
+** N.B.  Use `MR_ticket_high_water', defined in mercury_regs.h,
  ** not `MR_ticket_high_water_var'.
  */


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