diff --git a/doc/pub/p4c-sphinx-Python/._pylight004.html b/doc/pub/p4c-sphinx-Python/._pylight004.html index 2966a65..de0641c 100644 --- a/doc/pub/p4c-sphinx-Python/._pylight004.html +++ b/doc/pub/p4c-sphinx-Python/._pylight004.html @@ -275,9 +275,9 @@
By simplifying the right hand side of (16) we get
which is more compactly written as