diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-30 08:23:58 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-30 08:23:58 +0200 |
| commit | 890e03527b353a48f4e009e8c2be8893c619935a (patch) | |
| tree | 785103e422da4afb878233485c72eef8a1c69d57 /doc/runtime-api.html | |
| parent | d92f8f2f9e8fa2f74209d6eb0183bde2bdbe1214 (diff) | |
added checkExpr in Java
Diffstat (limited to 'doc/runtime-api.html')
| -rw-r--r-- | doc/runtime-api.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/runtime-api.html b/doc/runtime-api.html index d8d34d38e..727adf31c 100644 --- a/doc/runtime-api.html +++ b/doc/runtime-api.html @@ -929,7 +929,7 @@ Prelude PGF2> print e' AdjCN (PositA red_A) (UseN theatre_N) </pre> <pre class="java"> -Expr new_e = gr.checkExpr(e,Type.readType("CN")); //// TODO +Expr new_e = gr.checkExpr(e,Type.readType("CN")); System.out.println(e) </pre> <pre class="csharp"> |