From eec78b3bd45575b688c3e1c78ac48d53caf5733b Mon Sep 17 00:00:00 2001
From: Dan Frumin <dfrumin@cs.ru.nl>
Date: Tue, 18 Aug 2020 17:49:19 +0200
Subject: [PATCH] tweak readme

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 24900e6..6367378 100644
--- a/README.md
+++ b/README.md
@@ -38,6 +38,7 @@ they can illustrate the usage of the logic.
   + `lock.v` - symbolic execution rules for a simple spin lock
   + `counter.v` - symbolic execution rules and refinements for two different counters
   + `list.v` - rules for the recursive type of lists
+  + `polyeq.v` - polymoprhic equality predicate
 - `examples`
   + `bit.v` - "representation independence example" for a simple bit interface
   + `or.v` - expressing non-determinism with concurrency
-- 
GitLab