diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-31 10:58:49 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-31 10:58:49 +0200 |
| commit | eaf9f0c3ac2ce1c34a0e08de9073d8fca66a3680 (patch) | |
| tree | ce43fb9e4d2e4ed63ce093ca6a5553923c6063ad /src/runtime/java | |
| parent | 675ef4573ccf14fd380f7d1e6bc9ba97e5408ee3 (diff) | |
the C runtime now supports the same customizations for GraphViz as the Haskell runtime
Diffstat (limited to 'src/runtime/java')
| -rw-r--r-- | src/runtime/java/jpgf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/runtime/java/jpgf.c b/src/runtime/java/jpgf.c index 2eb151836..db662f5c2 100644 --- a/src/runtime/java/jpgf.c +++ b/src/runtime/java/jpgf.c @@ -382,6 +382,7 @@ Java_org_grammaticalframework_pgf_PGF_graphvizAbstractTree(JNIEnv* env, jobject pgf_graphviz_abstract_tree(get_ref(env,self), gu_variant_from_ptr(l2p(get_ref(env,jexpr))), + pgf_default_graphviz_options, out, err); jstring jstr = gu2j_string_buf(env, sbuf); @@ -1228,6 +1229,7 @@ Java_org_grammaticalframework_pgf_Concr_graphvizParseTree(JNIEnv* env, jobject s pgf_graphviz_parse_tree(get_ref(env,self), gu_variant_from_ptr(l2p(get_ref(env,jexpr))), + pgf_default_graphviz_options, out, err); jstring jstr = gu2j_string_buf(env, sbuf); |