This commit is contained in:
John Whitington 2022-10-13 20:34:11 +01:00
parent 44f62e49ca
commit c69628f76f
2 changed files with 2 additions and 2 deletions

View File

@ -18,7 +18,7 @@ type element =
| VGlue of glue | VGlue of glue
| NewLine | NewLine
| NewPage | NewPage
| Font of (Pdftext.font * float) | Font of (Cpdfembed.t * float)
| BeginDest of Pdfdest.t | BeginDest of Pdfdest.t
| EndDest | EndDest
| BeginDocument | BeginDocument

View File

@ -10,7 +10,7 @@ type element =
| VGlue of glue | VGlue of glue
| NewLine | NewLine
| NewPage | NewPage
| Font of (Pdftext.font * float) | Font of (Cpdfembed.t * float)
| BeginDest of Pdfdest.t | BeginDest of Pdfdest.t
| EndDest | EndDest
| BeginDocument | BeginDocument