[m-rev.] trivial diff: fix mistake in solver type documentation

[Julien Fischer]

Estimated hours taken: 0
Branches: main

doc/reference_manual.texi:
	There are four function for converting between solver types and
	representation types, not three.

Julien.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.345
diff -u -r1.345 reference_manual.texi
--- reference_manual.texi	8 Mar 2006 02:25:38 -0000	1.345
+++ reference_manual.texi	18 Mar 2006 14:17:52 -0000
@@ -2260,7 +2260,7 @@
 @code{representation_type} values denoting @code{any} @code{solver_type}
 values.

-The compiler constructs three impure functions for converting between
+The compiler constructs four impure functions for converting between
 @code{solver_type} values and @code{representation_type} values
 (@samp{name} is the function symbol used to name @code{solver_type} and
 @samp{arity} is the number of type parameters it takes):
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------