# HG changeset patch
# User wenzelm
# Date 1253542040 -7200
# Node ID 72b93132fc3124a1918c7727d1ada5e57a53f6f3
# Parent  23cc1724ede5c33491568f3306cd9cb66ab66321
fixed permissions -- this is a script, not an executable;

diff -r 23cc1724ede5 -r 72b93132fc31 src/HOL/SMT/lib/scripts/remote_smt.pl