From 178088f3280b0353571ac392dfb85b4c1c6a523f Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Tue, 11 Jan 2011 21:21:59 +0000
Subject: Dafny:  Fixed error in printing an error message.  Changed "function
 method" to "function" in a test case.

---
 Test/VSComp2010/Problem5-DoubleEndedQueue.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/VSComp2010')

diff --git a/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy b/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy
index 540225a1..fdda243c 100644
--- a/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy
+++ b/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy
@@ -165,7 +165,7 @@ class LinkedList<T> {
     }
   }
 
-  static function method ReverseSeq(s: seq<T>): seq<T>
+  static function ReverseSeq(s: seq<T>): seq<T>
   {
     if s == [] then [] else
     ReverseSeq(s[1..]) + [s[0]]
-- 
cgit v1.2.3