diff --git a/doc/high-level-machi.pdf b/doc/high-level-machi.pdf
index c357c2d..5bea756 100644
Binary files a/doc/high-level-machi.pdf and b/doc/high-level-machi.pdf differ