From 3ef7797ef6fc605dfafb32523261fe1b023aeecb Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 28 Apr 2006 14:59:16 +0000
Subject: Imported Upstream version 8.0pl3+8.1alpha

---
 test-suite/output/implicits.out | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 test-suite/output/implicits.out

(limited to 'test-suite/output/implicits.out')

diff --git a/test-suite/output/implicits.out b/test-suite/output/implicits.out
deleted file mode 100644
index e4837199..00000000
--- a/test-suite/output/implicits.out
+++ /dev/null
@@ -1,4 +0,0 @@
-(compose 3!nat S)
-     : (nat->nat)->nat->nat
-(ex_intro 2![_:nat]True 3!(0) I)
-     : (ex [_:nat]True)
-- 
cgit v1.2.3