From fcffef4bdca732d9fffee24a0621a05c81a9b7c1 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Thu, 20 Aug 2015 16:36:27 -0700
Subject: Fix a typo

---
 Test/triggers/function-applications-are-triggers.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/triggers')

diff --git a/Test/triggers/function-applications-are-triggers.dfy b/Test/triggers/function-applications-are-triggers.dfy
index 0fae8c0e..67ffe4e4 100644
--- a/Test/triggers/function-applications-are-triggers.dfy
+++ b/Test/triggers/function-applications-are-triggers.dfy
@@ -1,7 +1,7 @@
 // RUN: %dafny /compile:0 /print:"%t.print" /dprint:"%t.dprint" /autoTriggers:1 "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 
-// This files checks that function applications yield trigger candidates
+// This file checks that function applications yield trigger candidates
 
 method M(P: (int -> int) -> bool, g: int -> int)
   requires P.requires(g)
-- 
cgit v1.2.3