# HG changeset patch
# User wenzelm
# Date 1572023316 -7200
# Node ID b62bb9a61abc2b041fef6d3bb6c63f176dd97cef
# Parent  420f5d1953c7a52a157aac38229ce865f380a327# Parent  79d23e6436d0632844f35641401e09eebbb113dd
merged

diff -r 79d23e6436d0 -r b62bb9a61abc src/HOL/Tools/ATP/scripts/dummy_atp
--- a/src/HOL/Tools/ATP/scripts/dummy_atp	Fri Oct 25 19:00:36 2019 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-#!/usr/bin/env bash
-echo "SZS status Unknown"