From 30131bce90387683a02081d7d10dda3023b11b94 Mon Sep 17 00:00:00 2001
From: Akuli <akuviljanen17@gmail.com>
Date: Sun, 1 Dec 2024 12:35:55 +0200
Subject: [PATCH] doctest.sh: Delete unused slice function (#519)

---
 doctest.sh | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/doctest.sh b/doctest.sh
index f51fad17..46fad451 100755
--- a/doctest.sh
+++ b/doctest.sh
@@ -35,14 +35,6 @@ if $DIFF --help | grep -q -- --color; then
     diff_color="--color=always"
 fi
 
-function slice()
-{
-    local first_lineno="$1"
-    local last_lineno="$2"
-    local num_lines=$((last_lineno - first_lineno + 1))
-    head -n $last_lineno | tail -n $num_lines
-}
-
 function generate_expected_output()
 {
     local joufile="$1"