From 9f8cb23ad0662cea28f681872236277c2af2432e Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Thu, 16 Jul 2015 14:27:28 -0700
Subject: Strip literals from triggers

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

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

diff --git a/Test/dafny0/LitTriggers.dfy.expect b/Test/dafny0/LitTriggers.dfy.expect
new file mode 100644
index 00000000..249e77e5
--- /dev/null
+++ b/Test/dafny0/LitTriggers.dfy.expect
@@ -0,0 +1,2 @@
+
+Dafny program verifier finished with 9 verified, 0 errors
-- 
cgit v1.2.3