[m-dev.] trivial diff: library/nc_builtin.nl & use_module op

[Fergus Henderson]

On 14-Jan-1998, Fergus Henderson <fjh at cs.mu.oz.au> wrote:
> 
> library/nc_builtin.nl:
> 	Fix something that we forgot to do when adding `use_module':
> 	uncomment the `:- op' declaration for `use_module'.

Ho hum, not quite so trivial I guess.

library/nc_builtin.nl:
	Fix something else that we forgot to do when adding `use_module':
	uncomment the `:- termExpansion' declaration for `use_module'.

Index: nc_builtin.nl
===================================================================
RCS file: /home/mercury1/repository/mercury/library/nc_builtin.nl,v
retrieving revision 1.17
diff -u -u -r1.17 nc_builtin.nl
--- nc_builtin.nl	1998/01/14 03:16:40	1.17
+++ nc_builtin.nl	1998/01/14 03:18:04
@@ -120,7 +120,7 @@
 % termExpansion((:- export_adt(_)), (:- fail)).
 % termExpansion((:- export_op(_)), (:- fail)).
 
-% termExpansion((:- use_module(_)), (:- fail)).
+termExpansion((:- use_module(_)), (:- fail)).
 % termExpansion((:- use_sym(_)), (:- fail)).
 % termExpansion((:- use_pred(_)), (:- fail)).
 % termExpansion((:- use_cons(_)), (:- fail)).


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