remove lines from other files

[model-checker.git] / run.sh

diff --git a/run.sh b/run.sh
index 9c7af2fb5f4e9bd1283d22975cf6b9c020ae8afe..8eaeb3d48e5a974cd778229623fb9eff2fd8c3ed 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -1,4 +1,3 @@
 #!/bin/sh
-
 export LD_LIBRARY_PATH=.
 ./model