[m-rev.] diff: add profiling_builtin to mercury_std_library_module

[Peter Ross]

Hi,


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


Estimated hours taken: 0.2
Branches: main

compiler/modules.m:
    Add profiling-builtin to mercury_std_library_module.


Index: modules.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/modules.m,v
retrieving revision 1.166
diff -u -r1.166 modules.m
--- modules.m	2001/05/31 05:59:47	1.166
+++ modules.m	2001/06/06 15:11:14
@@ -570,6 +570,7 @@
 mercury_std_library_module("pprint").
 mercury_std_library_module("pqueue").
 mercury_std_library_module("private_builtin").
+mercury_std_library_module("profiling_builtin").
 mercury_std_library_module("prolog").
 mercury_std_library_module("queue").
 mercury_std_library_module("random").

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