X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=run.sh;h=8eaeb3d48e5a974cd778229623fb9eff2fd8c3ed;hb=d8ca702e1a120bacb2d129242f72323d8afd129b;hp=9fc6f8925aa867d51afa2d602185b0f3975e9352;hpb=3d3eb15b67956341e22288081ef887a281ed49e1;p=model-checker.git

diff --git a/run.sh b/run.sh
index 9fc6f89..8eaeb3d 100755
--- a/run.sh
+++ b/run.sh
@@ -1,3 +1,3 @@
 #!/bin/sh
 export LD_LIBRARY_PATH=.
-gdb ./model
+./model