[m-rev.] diff: fix problem with --grade option

[Julien Fischer]

On Mon, 10 Oct 2011, Julien Fischer wrote:

> Index: compiler/handle_options.m
> ===================================================================
> RCS file: 
> /home/mercury/mercury1/repository/mercury/compiler/handle_options.m,v
> retrieving revision 1.369
> diff -u -r1.369 handle_options.m
> --- compiler/handle_options.m	27 Sep 2011 00:49:24 -0000	1.369
> +++ compiler/handle_options.m	9 Oct 2011 14:52:16 -0000
> @@ -3033,6 +3033,7 @@
> grade_start_values(profile_calls - bool(no)).
> grade_start_values(profile_memory - bool(no)).
> grade_start_values(use_trail - bool(no)).
> +grade_start_values(trail_segments - bool(no)).
> grade_start_values(use_minimal_model_stack_copy - bool(no)).
> grade_start_values(use_minimal_model_own_stacks - bool(no)).
> grade_start_values(minimal_model_debug - bool(no)).
> @@ -3041,6 +3042,12 @@
> grade_start_values(decl_debug - bool(no)).
> grade_start_values(source_to_source_debug - bool(no)).
> grade_start_values(extend_stacks_when_needed - bool(no)).
> +grade_start_values(stack_segments - bool(no)).
> +grade_start_values(use_regions - bool(no)).
> +grade_start_values(use_alloc_regions - bool(no)).

use_alloc_regions shouldn't be there -- I've deleted it.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------