From 293d75e9b8300682cc2931818f426852ae393fbc Mon Sep 17 00:00:00 2001
From: Filip Sieczkowski <filips@cs.au.dk>
Date: Tue, 7 Oct 2014 11:33:38 +0200
Subject: [PATCH] Typo in README
---
README.txt | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/README.txt b/README.txt
index a21549851..cf91355a4 100644
--- a/README.txt
+++ b/README.txt
@@ -59,10 +59,10 @@ CONTENTS
* iris.v is the main file and contains the actual logic and the
proof of the rules for view shifts and Hoare triples
- The development uses ModuRes, a Coq library in by Sieczkowski et
- al. to solve the recursive domain equation (see the paper for a
- reference) and prove some of the standard separation logic rules. It
- is located in the lib/ subdirectory.
+ The development uses ModuRes, a Coq library by Sieczkowski et al. to
+ solve the recursive domain equation (see the paper for a reference)
+ and prove some of the standard separation logic rules. It is located
+ in the lib/ subdirectory.
REQUIREMENTS
--
GitLab