From d160ed90ed97d34c190f01e5b40443d264e6fec1 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Fri, 29 May 2015 15:23:51 -0700
Subject: Improvements in traits test case

---
 Test/dafny0/Trait/TraitExample.dfy.expect | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'Test/dafny0/Trait/TraitExample.dfy.expect')

diff --git a/Test/dafny0/Trait/TraitExample.dfy.expect b/Test/dafny0/Trait/TraitExample.dfy.expect
index 4fc71fb5..337b8f2f 100644
--- a/Test/dafny0/Trait/TraitExample.dfy.expect
+++ b/Test/dafny0/Trait/TraitExample.dfy.expect
@@ -1,7 +1,8 @@
 
-Dafny program verifier finished with 25 verified, 0 errors
+Dafny program verifier finished with 38 verified, 0 errors
 Program compiled successfully
 Running...
 
-Volvo: 10
-Fiat: 3
+Fiat: 6
+Volvo: 20
+Catacar: 26
-- 
cgit v1.2.3