two more fixes

This commit is contained in:
Krasimir Angelov
2023-09-04 17:52:09 +02:00
parent 56c5b8e3e9
commit 295458ab03
2 changed files with 2 additions and 3 deletions

View File

@@ -294,7 +294,7 @@ void pgf_write_pgf(const char* fpath,
#if defined(__linux__) #if defined(__linux__)
PGF_API_DECL PGF_API_DECL
void pgf_write_pgf_cookie void pgf_write_pgf_cookie
(void *cookie, cookie_io_functions_t *io_funcs, (void *cookie, ssize_t (*writefn)(void *, const char *, size_t),
PgfDB *db, PgfRevision revision, PgfDB *db, PgfRevision revision,
PgfText **langs, // null terminated list or null PgfText **langs, // null terminated list or null
PgfExn* err); PgfExn* err);
@@ -302,7 +302,6 @@ void pgf_write_pgf_cookie
PGF_API_DECL PGF_API_DECL
void pgf_write_pgf_cookie void pgf_write_pgf_cookie
(void *cookie, int (*writefn)(void *, const char *, int), (void *cookie, int (*writefn)(void *, const char *, int),
int (*closefn)(void *),
PgfDB *db, PgfRevision revision, PgfDB *db, PgfRevision revision,
PgfText **langs, // null terminated list or null PgfText **langs, // null terminated list or null
PgfExn* err); PgfExn* err);

View File

@@ -16,7 +16,7 @@
module PGF2 (-- * PGF module PGF2 (-- * PGF
PGF,readPGF,bootNGF,readNGF,newNGF,writePGF,showPGF, PGF,readPGF,bootNGF,readNGF,newNGF,writePGF,showPGF,
readPGFWithProbs, bootNGFWithProbs, readPGFWithProbs, bootNGFWithProbs,
#ifdef __linux__ #if defined(__linux__) || defined(__APPLE__)
writePGF_, writePGF_,
#endif #endif