small change

diff --git a/Robust/src/Benchmarks/Distributed/RainForest/dsm/extractLines b/Robust/src/Benchmarks/Distributed/RainForest/dsm/extractLines
index c2953ed2168cfc568a86ca753c08c605586ca19c..0415dca7317df9fd27c01ba766957e283ec3a2e5 100755 (executable)
--- a/Robust/src/Benchmarks/Distributed/RainForest/dsm/extractLines
+++ b/Robust/src/Benchmarks/Distributed/RainForest/dsm/extractLines
@@ -1,3 +1,3 @@
-#!/bin/sh -x
+#!/bin/sh
 lines=$(grep -n "#" tmp1RainForest.java | cut -d: -f1 | sed '1q')
 sed '/#/d' tmp1RainForest.java > tmpRainForest.java