# HG changeset patch
# User blanchet
# Date 1572015407 -7200
# Node ID 420f5d1953c7a52a157aac38229ce865f380a327
# Parent  849311b454285fa3461a6ea50a3451f35a40bb87
removed dummy ATP

diff -r 849311b45428 -r 420f5d1953c7 src/HOL/Tools/ATP/scripts/dummy_atp
--- a/src/HOL/Tools/ATP/scripts/dummy_atp	Fri Oct 25 16:28:04 2019 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-#!/usr/bin/env bash
-echo "SZS status Unknown"