[m-rev.] trivial diff: fix compilation of some of the samples

Julien Fischer juliensf at cs.mu.OZ.AU
Mon Jun 26 16:04:06 AEST 2006


Estimated hours taken: 0
Branches: main

samples/c_interface/simpler_c_calls_mercury/mercury_lib.m:
samples/c_interface/simpler_cplusplus_calls_mercury/mercury_lib.m:
	Update these files to conform to the current version of the
	standard library.

Julien

Index: simpler_c_calls_mercury/mercury_lib.m
===================================================================
RCS file: /home/mercury1/repository/mercury/samples/c_interface/simpler_c_calls_mercury/mercury_lib.m,v
retrieving revision 1.4
diff -u -r1.4 mercury_lib.m
--- simpler_c_calls_mercury/mercury_lib.m	21 Mar 2006 00:51:02 -0000	1.4
+++ simpler_c_calls_mercury/mercury_lib.m	26 Jun 2006 05:52:24 -0000
@@ -36,7 +36,7 @@

 :- import_module int.
 :- import_module list.
-:- import_module std_util.
+:- import_module solutions.

 % for this example, main/2 isn't useful
 main(!IO).
Index: simpler_cplusplus_calls_mercury/mercury_lib.m
===================================================================
RCS file: /home/mercury1/repository/mercury/samples/c_interface/simpler_cplusplus_calls_mercury/mercury_lib.m,v
retrieving revision 1.4
diff -u -r1.4 mercury_lib.m
--- simpler_cplusplus_calls_mercury/mercury_lib.m	21 Mar 2006 00:51:02 -0000	1.4
+++ simpler_cplusplus_calls_mercury/mercury_lib.m	26 Jun 2006 05:51:43 -0000
@@ -36,7 +36,7 @@

 :- import_module int.
 :- import_module list.
-:- import_module std_util.
+:- import_module solutions.

 % for this example, main/2 isn't useful
 main(!IO).

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



More information about the reviews mailing list