X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=src%2Fedu%2Fuci%2Feecs%2FspecExtraction%2FSpecExtractor.java;h=d3a2521223e3a3c5a9f918de46de5161fbaf8544;hp=959e51f2a7fda8cbcdbdc6edb1e3177d3a60c0c6;hb=579524b6cd8994427d50cf604ee130493f59b4d3;hpb=83eae09be64a115aad7e6822d03cc87e603a60ea

diff --git a/src/edu/uci/eecs/specExtraction/SpecExtractor.java b/src/edu/uci/eecs/specExtraction/SpecExtractor.java
index 959e51f..d3a2521 100644
--- a/src/edu/uci/eecs/specExtraction/SpecExtractor.java
+++ b/src/edu/uci/eecs/specExtraction/SpecExtractor.java
@@ -268,11 +268,12 @@ public class SpecExtractor {
 		annotations.add(curLine);
 		// System.out.println(curLine);
 		// Initial settings for matching lines
-		// "\*/( |\t)*$"
-		Pattern regexpEnd = Pattern.compile("\\*/( |\\t)*$");
+		// "\*/\s*$"
+		Pattern regexpEnd = Pattern.compile("\\*/\\s*$");
 		Matcher matcher = regexpEnd.matcher(curLine);
-		if (matcher.find()) { // The beginning line is also the end line
-			annotations.add(curLine);
+		if (matcher.find()) {
+			// The beginning line is also the end line
+			// In this case, we have already add the curLine
 			return annotations;
 		} else {
 			try {