[m-rev.] diff: fix too lax det warning in det_arg

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.1
Branches: main

library/deconstruct.m:
    Fix a too lax determinism warning in det_arg.

Index: library/deconstruct.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/deconstruct.m,v
retrieving revision 1.16
diff -u -r1.16 deconstruct.m
--- library/deconstruct.m	2 Dec 2002 12:16:04 -0000	1.16
+++ library/deconstruct.m	2 Dec 2002 12:50:10 -0000
@@ -150,7 +150,7 @@
 :- mode det_arg(in, in(do_not_allow), in, out) is det.
 :- mode det_arg(in, in(canonicalize), in, out) is det.
 :- mode det_arg(in, in(include_details_cc), in, out) is cc_multi.
-:- mode det_arg(in, in, in, out) is cc_multi.
+:- mode det_arg(in, in, in, out) is det.
 
 	% det_named_arg(Data, NonCanon, Name, Argument)
 	%

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