From d918fb153003cfa79d0eaeda8248fc632b05e4b0 Mon Sep 17 00:00:00 2001
From: Tom Conti-Leslie <tom.contileslie@gmail.com>
Date: Wed, 24 Feb 2021 15:37:37 +0100
Subject: [PATCH] Named Graphs: lint

---
 gap/digraph.gi  | 18 +++++++++---------
 gap/examples.gi |  2 +-
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/gap/digraph.gi b/gap/digraph.gi
index 8e9b4f72d..5e8f6c5a7 100644
--- a/gap/digraph.gi
+++ b/gap/digraph.gi
@@ -28,15 +28,15 @@ BindGlobal("DIGRAPHS_NamedGraph6String", fail);
 BindGlobal("DIGRAPHS_LoadNamedGraph6Strings", function()
   local f, r;
   if DIGRAPHS_NamedGraph6String = fail then
-   f := Concatenation(DIGRAPHS_Dir(), "/data/named-g6.p.gz");
-   f := IO_CompressedFile(f, "r");
-   r := IO_Unpickle(f);
-   IO_Close(f);
-
-   MakeReadWriteGlobal("DIGRAPHS_NamedGraph6String");
-   UnbindGlobal("DIGRAPHS_NamedGraph6String");
-   BindGlobal("DIGRAPHS_NamedGraph6String", r);
- fi;
+    f := Concatenation(DIGRAPHS_Dir(), "/data/named-g6.p.gz");
+    f := IO_CompressedFile(f, "r");
+    r := IO_Unpickle(f);
+    IO_Close(f);
+
+    MakeReadWriteGlobal("DIGRAPHS_NamedGraph6String");
+    UnbindGlobal("DIGRAPHS_NamedGraph6String");
+    BindGlobal("DIGRAPHS_NamedGraph6String", r);
+  fi;
 end);
 
 InstallMethod(DigraphMutabilityFilter, "for a digraph", [IsDigraph],
diff --git a/gap/examples.gi b/gap/examples.gi
index 988b01527..467a47305 100644
--- a/gap/examples.gi
+++ b/gap/examples.gi
@@ -392,7 +392,7 @@ function(s)
   # add to out-list all valid completions of the request s
   out := [];
   for c in cands do
-    if c{[1..l]} = s then
+    if c{[1 .. l]} = s then
       Add(out, c);
     fi;
   od;