diff --git a/collects/scribble/base-render.rkt b/collects/scribble/base-render.rkt index 47682e9b..7de7a0b3 100644 --- a/collects/scribble/base-render.rkt +++ b/collects/scribble/base-render.rkt @@ -207,7 +207,7 @@ ;; marshal info (define/public (get-serialize-version) - 2) + 3) (define/public (serialize-info ri) (parameterize ([current-serialize-resolve-info ri])