From fd76ab25bef61df70e1571a91b3709fab4a4cf18 Mon Sep 17 00:00:00 2001
From: yeom <yeom@uci.edu>
Date: Fri, 1 Mar 2013 14:30:44 -0800
Subject: [PATCH] typo...

---
 Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
index ea1ad433..39e51eee 100644
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
@@ -6,7 +6,7 @@ SOURCE_FILES=MP3Player.java Player.java
 SSJAVA= -ssjava -ssjavainfer -ssjavadebug
 BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1350 -nooptimize -debug -garbagestats #-printlinenum #-joptimize
 
-#NAIVELAG= -ssjava-infer-naive-writedots
+#NAIVEFLAG= -ssjava-infer-naive-writedots
 
 default: $(PROGRAM)s.bin
 
-- 
2.34.1