changeset 112:264d9178c01b default tip

matcher fix
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 29 Aug 2010 20:46:37 +0900
parents f00740bd0feb
children
files src/parser/LogicNodeScanner.java
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/src/parser/LogicNodeScanner.java	Tue Dec 15 01:07:22 2009 +0900
+++ b/src/parser/LogicNodeScanner.java	Sun Aug 29 20:46:37 2010 +0900
@@ -134,9 +134,9 @@
 				// no extension.
 			}
 			if (match) {
-				// This won't work in Java 6
-				// s = scan.group(1);
-				s = cb.toString().substring(scan.start(1),scan.end(1));
+				// This won't work in Java 6?
+				s = scan.group(1);
+				// s = cb.toString().substring(scan.start(1),scan.end(1));
 				// fix position in CharBuffer
 				// scan.end() is relative position
 				cb.position(cb.position()+scan.end());