From 870075f34dd9fa5792bfbf413afd3b96f17e76a0 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 8 Aug 2008 13:18:42 +0200
Subject: Imported Upstream version 8.2~beta4+dfsg

---
 test-suite/output/Match_subterm.out | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 test-suite/output/Match_subterm.out

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

diff --git a/test-suite/output/Match_subterm.out b/test-suite/output/Match_subterm.out
new file mode 100644
index 00000000..951a98db
--- /dev/null
+++ b/test-suite/output/Match_subterm.out
@@ -0,0 +1,8 @@
+(0 = 1)
+eq
+nat
+0
+1
+S
+0
+2
-- 
cgit v1.2.3