fix makefile

daejunpark · daejunpark · commit b28d5a4c24b8 · 2015-02-12T17:50:59.000-06:00
diff --git a/security-attack/Makefile b/security-attack/Makefile
@@ -16,6 +16,6 @@ js.k: ../js.k
 run:
 	krun -w none --smt none --search send.js >send.js.out
 
-.PHONY: cleean
+.PHONY: clean
 clean:
 	rm -rf js-kompiled js.k js-prelude.k js-str-numeric-literal.k js-trans.k
