From cabd924dcec2ff44ca4154dc7a694fac133b32ea Mon Sep 17 00:00:00 2001 From: Vojtech Forejt Date: Sun, 4 Mar 2012 22:54:39 +0000 Subject: [PATCH] making filler script executable git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4777 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-filler.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-filler.py b/prism/etc/scripts/prism-filler.py index 3b302de2..e6ef91d4 100755 --- 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