From f426901de289b295bfde0596eb52c2dda73532c5 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 11 Oct 2018 14:56:23 +0200
Subject: [PATCH] fix typo

---
 theories/heap_lang/lang.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/heap_lang/lang.v b/theories/heap_lang/lang.v
index a5f0b6888..235fb97b4 100644
--- a/theories/heap_lang/lang.v
+++ b/theories/heap_lang/lang.v
@@ -10,7 +10,7 @@ Set Default Proof Using "Type".
   for this is that it makes curried functions usable: Given a WP for [f a b], we
   know that any effects [f] might have to not matter until after *both* [a] and
   [b] are evaluated.  With left-to-right evaluation, that triple is basically
-  useless the user let-expands [b].
+  useless unless the user let-expands [b].
 
 *)
 
-- 
GitLab