From 68dba771566c179cb11acabf1942aad9e2837c18 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Fri, 29 May 2020 19:00:44 +0200
Subject: [PATCH] Clean up example

---
 examples/example-exact-cover.spec | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/examples/example-exact-cover.spec b/examples/example-exact-cover.spec
index 1ba6168..63b3144 100644
--- a/examples/example-exact-cover.spec
+++ b/examples/example-exact-cover.spec
@@ -1,6 +1,3 @@
-# Auxiliary predicate to determine whether a variable is integer
-#axiom: forall X (is_int(X) <-> exists N X = N).
-
 # Perform the proofs under the assumption that n is a nonnegative integer input constant. n stands
 # for the total number of input sets
 input: n -> integer.