diff --git a/doc/robust.pdf b/doc/robust.pdf
index ef8dc6fe6..45c023384 100644
Binary files a/doc/robust.pdf and b/doc/robust.pdf differ