From c69628f76f63712d47db7bd2e6e017a766403461 Mon Sep 17 00:00:00 2001
From: John Whitington <john@coherentgraphics.co.uk>
Date: Thu, 13 Oct 2022 20:34:11 +0100
Subject: [PATCH] more

---
 cpdftype.ml  | 2 +-
 cpdftype.mli | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/cpdftype.ml b/cpdftype.ml
index 863d821..360853c 100644
--- a/cpdftype.ml
+++ b/cpdftype.ml
@@ -18,7 +18,7 @@ type element =
 | VGlue of glue
 | NewLine
 | NewPage
-| Font of (Pdftext.font * float)
+| Font of (Cpdfembed.t * float)
 | BeginDest of Pdfdest.t
 | EndDest
 | BeginDocument
diff --git a/cpdftype.mli b/cpdftype.mli
index fad857e..308d2cd 100644
--- a/cpdftype.mli
+++ b/cpdftype.mli
@@ -10,7 +10,7 @@ type element =
 | VGlue of glue
 | NewLine
 | NewPage
-| Font of (Pdftext.font * float)
+| Font of (Cpdfembed.t * float)
 | BeginDest of Pdfdest.t
 | EndDest
 | BeginDocument