# HG changeset patch
# User blanchet
# Date 1284558284 -7200
# Node ID a055cffcf6fcd71904529cc82ef5562de82c1c02
# Parent  782477d78f63fa3b8b8d55bb4558d4923a177e9a
no need for TPTP

diff -r 782477d78f63 -r a055cffcf6fc src/Tools/Metis/FILES
--- a/src/Tools/Metis/FILES	Wed Sep 15 15:44:24 2010 +0200
+++ b/src/Tools/Metis/FILES	Wed Sep 15 15:44:44 2010 +0200
@@ -37,4 +37,3 @@
 Active.sig Active.sml
 Waiting.sig Waiting.sml
 Resolution.sig Resolution.sml
-Tptp.sig Tptp.sml