Parcourir la source

min token match set to 9 as in java17

Dr. Michael Petter il y a 7 ans
Parent
commit
1e971af4ae

+ 1 - 1
jplag.frontend.java-1.9/src/main/java/jplag/java19/Language.java

@@ -32,7 +32,7 @@ public class Language implements jplag.Language {
 	}
 
 	public int min_token_match() {
-		return 12;
+		return 9;
 	}
 	public boolean supportsColumns() {
 		return true;