diff --git a/docs/reference.pdf b/docs/reference.pdf
index 7a29260cc0f44d7f4bac04e7b096da388ecd8d67..ac02d89969fb52c08f50515ae1be4eb588125181 100644
Binary files a/docs/reference.pdf and b/docs/reference.pdf differ