# HG changeset patch
# User boehmes
# Date 1274965125 -7200
# Node ID f309fd16a0bdf7098bb7b6ca81da506067b03994
# Parent  3e9e8dfb3c98024a25afc8f595efd4abe449ad5b
made script executable

diff -r 3e9e8dfb3c98 -r f309fd16a0bd src/HOL/Tools/SMT/lib/scripts/remote_smt