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