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/Cases.out | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/test-suite/output/Cases.out b/test-suite/output/Cases.out
index 9d0d0658..995754a6 100644
--- a/test-suite/output/Cases.out
+++ b/test-suite/output/Cases.out
@@ -21,7 +21,7 @@ Argument scopes are [nat_scope nat_scope _ _ _]
 foo = 
 fix foo (A : Type) (l : list A) {struct l} : option A :=
   match l with
-  | nil => None (A:=A)
+  | nil => None
   | x0 :: nil => Some x0
   | x0 :: (_ :: _) as l0 => foo A l0
   end
-- 
cgit v1.2.3