From 890e03527b353a48f4e009e8c2be8893c619935a Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Wed, 30 Aug 2017 08:23:58 +0200
Subject: added checkExpr in Java

---
 doc/runtime-api.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

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">
-- 
cgit v1.2.3