[m-rev.] trivial diff: update reference to software_error

[Julien Fischer]

Estimated hours taken: 0
Branches: main

doc/reference_manual.texi:
 	Update a reference to the type software_error/0.
 	It is currently defined in the exception module, not require.

Julien.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.402
diff -u -r1.402 reference_manual.texi
--- reference_manual.texi	10 Aug 2007 06:27:58 -0000	1.402
+++ reference_manual.texi	10 Aug 2007 06:50:24 -0000
@@ -3862,7 +3862,7 @@

  If a unification predicate is supplied without a comparison predicate,
  the compiler will generate a comparison predicate which throws an
-exception of type @samp{require.software_error} when called.
+exception of type @samp{exception.software_error} when called.

  A type declaration for a type @samp{foo(T1, @dots{}, TN)} may contain a
  @samp{where equality is @var{equalitypred}} specification only if it

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