diff options
Diffstat (limited to 'src/runtime/c/pgf/pgf.h')
| -rw-r--r-- | src/runtime/c/pgf/pgf.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/c/pgf/pgf.h b/src/runtime/c/pgf/pgf.h index cf2d85212..632a1d332 100644 --- a/src/runtime/c/pgf/pgf.h +++ b/src/runtime/c/pgf/pgf.h @@ -94,7 +94,7 @@ pgf_function_prob(PgfPGF* pgf, PgfCId funname); PGF_API_DECL GuString pgf_print_name(PgfConcr*, PgfCId id); -PGF_API_DECL bool +PGF_API_DECL int pgf_has_linearization(PgfConcr* concr, PgfCId id); PGF_API_DECL void |