From b51cb25d206af503b8b6551d73deb30a8f73d59c Mon Sep 17 00:00:00 2001
From: Unknown <leino@LEINO6.redmond.corp.microsoft.com>
Date: Wed, 7 Mar 2012 15:29:21 -0800
Subject: Dafny: removed a now-inferred type-parameter instantiation in a test
 file

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

(limited to 'Test/vstte2012')

diff --git a/Test/vstte2012/RingBufferAuto.dfy b/Test/vstte2012/RingBufferAuto.dfy
index b02022c7..712236a8 100644
--- a/Test/vstte2012/RingBufferAuto.dfy
+++ b/Test/vstte2012/RingBufferAuto.dfy
@@ -65,7 +65,7 @@ class {:autocontracts} RingBuffer<T>
 
 method TestHarness(x: int, y: int, z: int)
 {
-  var b := new RingBuffer<int>.Create(2);
+  var b := new RingBuffer.Create(2);
   b.Enqueue(x);
   b.Enqueue(y);
   var h := b.Dequeue();  assert h == x;
-- 
cgit v1.2.3