Skip to content

Bug in decreasing #1189

@dimitri-justeau

Description

@dimitri-justeau

The last modification of decreasing has a bug:

The last line should be:

    return increasing(rvars, delta);

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions