another minor at the docs

[javier-romero]

Hola, this example at

• https://clinguin.readthedocs.io/en/latest/clinguin/reference/state.html

is mistaken:

Consider the following encoding, where either p(1) or p(2) can be selected.

{p(1);p(2);p(3)}.
:- p(1).

We have one stable model: {p(1)}. Therefore the following atoms will be added to to...

_all(p(1)).

[susuhahnml]

Thanks, fixed in new version