From 78935f7c4ac03941f730b099040b5c711063edf3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 11 May 2020 04:08:38 +0200
Subject: [PATCH] Remove unnecessary lemma

---
 examples/example-2.spec | 2 --
 1 file changed, 2 deletions(-)

diff --git a/examples/example-2.spec b/examples/example-2.spec
index 00fd568..277038b 100644
--- a/examples/example-2.spec
+++ b/examples/example-2.spec
@@ -25,6 +25,4 @@ lemma(forward): forall N (N >= 0 and p(N + 1) -> p(N)).
 lemma(forward): not p(n + 1).
 lemma(forward): forall N1, N2 (N2 > N1 and N1 >= 0 and p(N2) -> p(N1)).
 
-lemma(forward): forall N (N >= 0 -> p(N)).
-
 lemma(forward): forall N2, N3 (q(N2) and N3 > N2 -> not q(N3)).