[m-rev.] for review: see/seen/tell/told

[Zoltan Somogyi]

On Mon, 30 Aug 2021 15:42:20 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:
> > +### Changes to the `robdd` module
> > +
> > +* The following predicates have been added:
> > +
> > +    - pred `print_robdd/4`
> > +    - pred `robdd_to_dot_stream/5`
> > +
> > +* The following predicates have had changes in their argument types:
> > +
> > +    - pred `robdd_to_dot/4`         (var_to_string instead of write_var)
> > +    - pred `robdd_to_dot/5`         (var_to_string instead of write_var)
> 
> The robdd module is not in the publicly documented part of the standard library.
> You do not need to list changes to it in this file.

Done.

> The rest of the diff looks fine.

Thanks for the review.

Zoltan.