Named Graphs: lint

digraphs · Feb 24, 2021 · d918fb1 · d918fb1
1 parent 1f80e09
commit d918fb1
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 10 deletions.
diff --git 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
@@ -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;