making filler script executable

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4777 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago · cabd924dce
1 changed files with 3 additions and 1 deletions
--- a/prism/etc/scripts/prism-filler.py
+++ b/prism/etc/scripts/prism-filler.py
@ -1,5 +1,7 @@
+#! /usr/bin/env python
 # coding=utf-8
-# run "python prism-filler.py" for more help
+
+# run without arguments for usage info

 import re
 import sys