From 7c6cfaa37c96349fda99823c6f98a576dba194b4 Mon Sep 17 00:00:00 2001
From: Unknown <leino@LEINO6.redmond.corp.microsoft.com>
Date: Thu, 21 Jun 2012 19:16:05 -0700
Subject: Dafny: Since it's no longer true that all types support equality at
 run-time (in particular, codatatypes), Dafny needs to check this.  In these
 changes, Dafny supports the "(==)" suffix to type parameters, infers that
 suffix in some cases, and enforces equality support in many places. 
 Refinement and datatypes still need more attention in the Dafny
 implementation.

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

(limited to 'Test/vstte2012')

diff --git a/Test/vstte2012/BreadthFirstSearch.dfy b/Test/vstte2012/BreadthFirstSearch.dfy
index 5153b053..4373136b 100644
--- a/Test/vstte2012/BreadthFirstSearch.dfy
+++ b/Test/vstte2012/BreadthFirstSearch.dfy
@@ -1,4 +1,4 @@
-class BreadthFirstSearch<Vertex>
+class BreadthFirstSearch<Vertex(==)>
 {
   // The following function is left uninterpreted (for the purpose of the 
   // verification problem, it can be thought of as a parameter to the class)
-- 
cgit v1.2.3