diff --git a/compressed.tracemonkey-pldi-09.pdf b/compressed.tracemonkey-pldi-09.pdf index 342f7aa00..65570184a 100644 Binary files a/compressed.tracemonkey-pldi-09.pdf and b/compressed.tracemonkey-pldi-09.pdf differ