--- a/src/HOL/SMT/lib/scripts/remote_smt.pl Mon Sep 21 08:45:31 2009 +0200
+++ b/src/HOL/SMT/lib/scripts/remote_smt.pl Mon Sep 21 11:15:21 2009 +0200
@@ -1,4 +1,3 @@
-#!/usr/bin/env perl -w
#
# Script to invoke remote SMT solvers.
# Author: Sascha Boehme, TU Muenchen