diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-30 18:11:59 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-30 18:11:59 +0200 |
| commit | cd53269f96873f228e196cb6d22d101c5e4f50ed (patch) | |
| tree | 8998df85bf55b8a228ff95f1b2c3febef6505e8a /src/runtime/c/pgf | |
| parent | fd56b4b5f3d08cabb807f2ea5f397da38cc26a0a (diff) | |
bugfix for hasLinearization in the Haskell binding
Diffstat (limited to 'src/runtime/c/pgf')
| -rw-r--r-- | src/runtime/c/pgf/pgf.c | 2 | ||||
| -rw-r--r-- | src/runtime/c/pgf/pgf.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/runtime/c/pgf/pgf.c b/src/runtime/c/pgf/pgf.c index a8c6bb800..a1649b9ff 100644 --- a/src/runtime/c/pgf/pgf.c +++ b/src/runtime/c/pgf/pgf.c @@ -195,7 +195,7 @@ pgf_print_name(PgfConcr* concr, PgfCId id) return name; } -PGF_API bool +PGF_API int pgf_has_linearization(PgfConcr* concr, PgfCId id) { PgfCncOverloadMap* overl_table = 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 |