From f177d7dc96b27f5ca3b777d31fcd9bad26be6ce5 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Mon, 6 Jul 2015 14:46:51 -0700
Subject: Report warnings only once. (This is the last step in fixing Issue
 #86.)

---
 Test/dafny0/JustWarnings.dfy.expect | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 Test/dafny0/JustWarnings.dfy.expect

(limited to 'Test/dafny0/JustWarnings.dfy.expect')

diff --git a/Test/dafny0/JustWarnings.dfy.expect b/Test/dafny0/JustWarnings.dfy.expect
new file mode 100644
index 00000000..5f0e66d8
--- /dev/null
+++ b/Test/dafny0/JustWarnings.dfy.expect
@@ -0,0 +1,4 @@
+JustWarnings.dfy(18,11): Warning: Shadowed type-parameter name: T
+JustWarnings.dfy(13,6): Warning: Shadowed local-variable name: x
+
+Dafny program verifier finished with 3 verified, 0 errors
-- 
cgit v1.2.3