Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-12-04 15:19:21 -0800 (Thu, 04 Dec 2003)
Revision: 5146
Log message:

      There is no need for an explicit dependency (which just creates a warning).
      

Changes	Path
+0 -4	metaprl/theories/tptp/OMakefile