| changeset 33010 | 39f73a59e855 |
| parent 32622 | 8ed38c7bd21a |
| child 33472 | e88f67d679c4 |
--- a/src/HOL/SMT/lib/scripts/remote_smt.pl Tue Oct 20 08:10:47 2009 +0200 +++ b/src/HOL/SMT/lib/scripts/remote_smt.pl Tue Oct 20 10:11:30 2009 +0200 @@ -1,7 +1,8 @@ # -# Script to invoke remote SMT solvers. # Author: Sascha Boehme, TU Muenchen # +# Invoke remote SMT solvers. +# use strict; use LWP;