From ebc6a06490082addd17836e3807311224cf9b6a2 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 21 Jan 2010 22:55:30 +0000 Subject: [PATCH] Some tidying of PTA examples. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1697 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/examples/pta/{zeroconf-prism.sh => zeroconf/auto} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename prism/examples/pta/{zeroconf-prism.sh => zeroconf/auto} (98%) diff --git a/prism/examples/pta/zeroconf-prism.sh b/prism/examples/pta/zeroconf/auto similarity index 98% rename from prism/examples/pta/zeroconf-prism.sh rename to prism/examples/pta/zeroconf/auto index 1508a668..8aaefcbf 100755 --- a/prism/examples/pta/zeroconf-prism.sh +++ b/prism/examples/pta/zeroconf/auto @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/csh # full (multi-variable)