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