Some tidying of PTA examples.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1697 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · ebc6a06490
1 changed files with 1 additions and 1 deletions
--- a/prism/examples/pta/zeroconf-prism.sh
+++ b/prism/examples/pta/zeroconf-prism.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/csh

 # full (multi-variable)