[m-dev.] diff: fix documentation of `pragma loop_check'

[Fergus Henderson]

Estimated hours taken: 0.25

doc/reference_manual.texi:
	Change the documentation of `pragma loop_check' to say
	that it throws an exception rather than reporting a
	runtime error.

Workspace: /home/mercury0/fjh/mercury
Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.155
diff -u -d -r1.155 reference_manual.texi
--- reference_manual.texi	1999/10/13 06:16:16	1.155
+++ reference_manual.texi	1999/10/29 05:47:37
@@ -5372,8 +5372,8 @@
 The current Mercury implementation thus supports three different
 pragmas for tabling, to cover these three cases: @samp{pragma memo}
 does no loop checking, @samp{pragma loop_check} checks for loops
-and reports runtime errors, while @samp{pragma minimal_model}
-computes the ``minimal model'' semantics.
+and throws an exception if a loop is detected, while
+ at samp{pragma minimal_model} computes the ``minimal model'' semantics.
 
 @c XXX we should fix this bug...
 @cartouche

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------