diff options
Diffstat (limited to 'src/runtime/c/pgf/pgf.h')
| -rw-r--r-- | src/runtime/c/pgf/pgf.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/pgf.h b/src/runtime/c/pgf/pgf.h index d6de05e90..7cddbbcae 100644 --- a/src/runtime/c/pgf/pgf.h +++ b/src/runtime/c/pgf/pgf.h @@ -189,4 +189,8 @@ void pgf_check_type(PgfPGF* gr, PgfType** ty, GuExn* exn, GuPool* pool); +// internal +PgfExprProb* +pgf_fun_get_ep(void* value); + #endif // PGF_H_ |