From d3e160222abd7f3a348d36dbf6213f8bf1b40347 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sun, 22 Apr 2018 22:12:02 +0200
Subject: [PATCH] Remove obsolete code in examples

These lines of code were commented out and can be safely removed.
---
 examples/permutations.lp  | 1 -
 examples/prime.lp         | 1 -
 examples/schur-numbers.lp | 2 --
 3 files changed, 4 deletions(-)

diff --git a/examples/permutations.lp b/examples/permutations.lp
index 6f130f4..ac911b4 100644
--- a/examples/permutations.lp
+++ b/examples/permutations.lp
@@ -1,5 +1,4 @@
 #show p/2.
-%#external integer(n(0)).
 
 {p(1..n, 1..n)}.
 
diff --git a/examples/prime.lp b/examples/prime.lp
index d39a222..2fa7e0a 100644
--- a/examples/prime.lp
+++ b/examples/prime.lp
@@ -1,5 +1,4 @@
 #show prime/1.
-%#external integer(n(0)).
 
 composite(I * J) :- I = 2..n, J = 2..n.
 prime(N) :- N = 2..n, not composite(N).
diff --git a/examples/schur-numbers.lp b/examples/schur-numbers.lp
index fd0fd4f..5c4e63a 100644
--- a/examples/schur-numbers.lp
+++ b/examples/schur-numbers.lp
@@ -1,6 +1,4 @@
 #show in/2.
-%#external integer(n(0)).
-%#external integer(r(0)).
 
 {in(1..n, 1..r)}.
 covered(I) :- in(I, S).