# HG changeset patch
# User boehmes
# Date 1256197788 -7200
# Node ID 70f5c18e975d7a13949ddb2ff984c9216c3c8ea3
# Parent  6f071d92960b73a74bbbeea3e0e6e4b0329618f1
fixed permissions -- this is a script, not an executable

diff -r 6f071d92960b -r 70f5c18e975d src/HOL/SMT/lib/scripts/cert_smt.pl