1 files changed, 5 insertions, 5 deletions
diff --git a/Test/VSI-Benchmarks/b3.dfy b/Test/VSI-Benchmarks/b3.dfy
index 4f717f48..4f44612d 100644
--- a/Test/VSI-Benchmarks/b3.dfy
+++ b/Test/VSI-Benchmarks/b3.dfy
@@ -13,22 +13,22 @@
 //would be nice if we could mark pperm as a ghost variable
 
 class Queue<T> {
-  var contents: seq<int>;
+  var contents: seq<T>;
   method Init();
     modifies this;
     ensures |contents| == 0;
-  method Enqueue(x: int);
+  method Enqueue(x: T);
     modifies this;
     ensures contents == old(contents) + [x];
-  method Dequeue() returns (x: int);
+  method Dequeue() returns (x: T);
     requires 0 < |contents|;
     modifies this;
     ensures contents == old(contents)[1..] && x == old(contents)[0];
-  function Head(): int
+  function Head(): T
     requires 0 < |contents|;
     reads this;
   { contents[0] }
-  function Get(i: int): int
+  function Get(i: int): T
     requires 0 <= i && i < |contents|;
     reads this;
   { contents[i] }