From a44787fc4e749f2ba0b9b51d8c33ebf9954365d3 Mon Sep 17 00:00:00 2001
From: krangelov <kr.angelov@gmail.com>
Date: Thu, 9 Sep 2021 09:52:43 +0200
Subject: [PATCH] forgot to add the type signature for pgf_drop_function in the
 header

---
 src/runtime/c/pgf/pgf.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/runtime/c/pgf/pgf.h b/src/runtime/c/pgf/pgf.h
index 68578e710..fc90f1429 100644
--- a/src/runtime/c/pgf/pgf.h
+++ b/src/runtime/c/pgf/pgf.h
@@ -342,4 +342,9 @@ void pgf_create_function(PgfDB *db, PgfRevision revision,
                          PgfMarshaller *m,
                          PgfExn *err);
 
+PGF_API_DECL
+void pgf_drop_function(PgfDB *db, PgfRevision revision,
+                       PgfText *name,
+                       PgfExn *err);
+
 #endif // PGF_H_