[m-rev.] trivial diff: remove reference to dd_dd command

[Julien Fischer]

Estimated hours taken: 0
Branches: main, release

doc/mdb_categories:
	Remove a reference to the dd_dd command.  That command
	has not existed for a while now.

Julien.

Index: mdb_categories
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/mdb_categories,v
retrieving revision 1.32
diff -u -r1.32 mdb_categories
--- mdb_categories	4 Apr 2006 07:37:12 -0000	1.32
+++ mdb_categories	6 Jun 2006 08:13:33 -0000
@@ -86,7 +86,7 @@
              `flag', `subgoal', `consumer', `gen_stack', `cut_stack,
              `pneg_stack', `mm_stacks', `nondet_stack', `stack_regs',
              `all_regs', `debug_vars', `stats', `print_optionals',
-             `unhide_events', `dd_dd', `table', `type_ctor', `class_decl',
+             `unhide_events', `table', `type_ctor', `class_decl',
              `all_type_ctors', `all_class_decls', `all_procedures' and
              `ambiguity'.


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