1 files changed, 7 insertions, 6 deletions
diff --git a/test-suite/failure/Case12.v b/test-suite/failure/Case12.v
index b56eac0d..cf6c2026 100644
--- a/test-suite/failure/Case12.v
+++ b/test-suite/failure/Case12.v
@@ -1,7 +1,8 @@
 
-Type [x:nat]<nat> Cases x  of 
-                  ((S x) as b) => <nat>Cases x  of
-                                        x => x 
-                                   end
-                          end.
-
+Type
+  (fun x : nat =>
+   match x return nat with
+   | S x as b => match x with
+                 | x => x
+                 end
+   end).