changes.

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3DecoderInfer / infer / makefile

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/infer/makefile b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/infer/makefile
index 4a12624472b1c997a0d9d3604677cc5d3dd88014..5304e86afa7edb9cbf74ef0d4de5b3aef2738dd0 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/infer/makefile
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/infer/makefile
@@ -1,4 +1,4 @@
-BUILDSCRIPT=../../../buildscript
+BUILDSCRIPT=../../../../buildscript
 
 PROGRAM=MP3Player
 SOURCE_FILES=MP3Player.java Player.java