[m-rev.] trivial diff: update inst syntax in robdd.m

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

library/robdd.m:
	s/=/==/ in an inst definition since the former
	is deprecated in the release branch and won't be
	supported much longer on the main branch.

Workspace:/home/ascolais/juliensf/ws62
Index: robdd.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/robdd.m,v
retrieving revision 1.4
diff -u -r1.4 robdd.m
--- robdd.m	27 Jan 2005 03:59:27 -0000	1.4
+++ robdd.m	7 Feb 2005 05:20:09 -0000
@@ -279,7 +279,7 @@
 		io__state::di, io__state::uo) is det.

 :- type write_var(T) == pred(var(T), io__state, io__state).
-:- inst write_var = (pred(in, di, uo) is det).
+:- inst write_var == (pred(in, di, uo) is det).

 	% Apply the variable substitution to the ROBDD.
 :- func rename_vars(func(var(T)) = var(T), robdd(T)) = robdd(T).

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