From 655b8311917e38cc2b359bad46def21de7852508 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Tue, 28 Oct 2014 17:44:39 -0700
Subject: Disallow automatic completion of type arguments to the LHS of
 datatype declarations

---
 Test/hofs/Fold.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/hofs')

diff --git a/Test/hofs/Fold.dfy b/Test/hofs/Fold.dfy
index 7ce99e56..50b5569b 100644
--- a/Test/hofs/Fold.dfy
+++ b/Test/hofs/Fold.dfy
@@ -1,7 +1,7 @@
 // RUN: %dafny /compile:3 "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 
-datatype List = Nil | Cons(A,List<A>);
+datatype List<A> = Nil | Cons(A,List<A>);
 
 datatype Expr = Add(List<Expr>) | Mul(List<Expr>) | Lit(int);
 
-- 
cgit v1.2.3