From 93db90e99c4c3033d862571acaa653404590b555 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Wed, 28 Aug 2013 15:35:57 +0000 Subject: [PATCH] now Concr.parseBest throws ParseError --- src/runtime/java/org/grammaticalframework/pgf/Concr.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/java/org/grammaticalframework/pgf/Concr.java b/src/runtime/java/org/grammaticalframework/pgf/Concr.java index 6fde4c63f..d4c95f58e 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/Concr.java +++ b/src/runtime/java/org/grammaticalframework/pgf/Concr.java @@ -10,7 +10,7 @@ public class Concr { return new Parser(this, startCat, s); } - public Expr parseBest(String startCat, String s) { + public Expr parseBest(String startCat, String s) throws ParseError { Iterator iter = Parser.parse(this, startCat, s); if (iter.hasNext()) { return iter.next().getExpr();