--- a/src/HOL/Tools/ATP/scripts/dummy_atp Tue Dec 17 11:12:10 2013 +0100 +++ b/src/HOL/Tools/ATP/scripts/dummy_atp Tue Dec 17 14:03:29 2013 +0100 @@ -1,1 +1,2 @@ +#!/usr/bin/env bash echo "SZS status Unknown"