From 0a74dc6072ad503dc96e54c5b484ae2791af7558 Mon Sep 17 00:00:00 2001
From: Hans-Werner Hilse <hwhilse@gmail.com>
Date: Sun, 26 Oct 2014 23:16:27 +0100
Subject: [PATCH] add needed ffi module when saving annotations

---
 frontend/document/pdfdocument.lua | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/frontend/document/pdfdocument.lua b/frontend/document/pdfdocument.lua
index 0b4c82011..706f2a706 100644
--- a/frontend/document/pdfdocument.lua
+++ b/frontend/document/pdfdocument.lua
@@ -119,6 +119,9 @@ end
 
 function PdfDocument:saveHighlight(pageno, item)
     self.is_edited = true
+    local ffi = require("ffi")
+    -- will also need mupdf_h.lua to be evaluated once
+    -- but this is guaranteed at this point
     local n = #item.pboxes
     local quadpoints = ffi.new("fz_point[?]", 4*n)
     for i=1, n do