From 6e60b93546a22538c266fbf0a4dbae78c4331ba7 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 9 Jul 2015 09:20:22 +0000
Subject: [PATCH] Maek hoa-library-for-prism executable

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10268 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/etc/scripts/hoa-library-for-prism | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 prism/etc/scripts/hoa-library-for-prism

diff --git a/prism/etc/scripts/hoa-library-for-prism b/prism/etc/scripts/hoa-library-for-prism
old mode 100644
new mode 100755