diff options
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"> |