add source code that does not have location annotations.

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3DecoderInfer / LATTICE.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LATTICE.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LATTICE.java
new file mode 100644 (file)
index 0000000..3dc53b8
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LATTICE.java
@@ -0,0 +1,3 @@
+public @interface LATTICE{
+    String value();
+}