From c16e6137e954e9a4cd24fb81dbafcfef27206837 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Thu, 27 Aug 2020 13:54:24 +0100
Subject: Ignore file start/end pragmas in splice

---
 src/splice.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/splice.ml b/src/splice.ml
index 8ebd5793..dd19e664 100644
--- a/src/splice.ml
+++ b/src/splice.ml
@@ -12,6 +12,8 @@ let scan_defs (Defs defs) =
        IdSet.add (id_of_fundef fd) ids, specs
     | DEF_spec (VS_aux (VS_val_spec (_,id,_,_),_) as vs) ->
        ids, Bindings.add id vs specs
+    | DEF_pragma (("file_start" | "file_end"), _ ,_) ->
+       ids, specs
     | d -> raise (Reporting.err_general (def_loc d)
                     "Definition in splice file isn't a spec or function")
   in List.fold_left scan (IdSet.empty, Bindings.empty) defs
-- 
cgit v1.2.3