[m-rev.] for review: Declare rtti_implementation.functor_number_cc as cc_nondet.

Julien Fischer jfischer at opturion.com
Wed Oct 28 11:40:49 AEDT 2020


On Tue, 27 Oct 2020, Peter Wang wrote:

> rtti_implementation.m:
>    As above.
>
> deconstruct.m:
>    Remove now unnecessary pragma no_determinism_warning.

That's fine.

Julien.


More information about the reviews mailing list