fix

UniMath · Oct 22, 2023 · 9f168ef · 9f168ef
1 parent c43845d
commit 9f168ef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/graph-theory/walks-directed-graphs.lagda.md b/src/graph-theory/walks-directed-graphs.lagda.md
@@ -460,7 +460,7 @@ module _
         ( vertex-equiv-Directed-Graph G H e y))
       ( is-equiv-map-equiv
         ( equiv-tot
-          ( equiv-walk-of-length-equiv-Directed-Graph G H e)))
+          ( λ n → equiv-walk-of-length-equiv-Directed-Graph G H e n)))
 
   equiv-walk-equiv-Directed-Graph :
     {x y : vertex-Directed-Graph G} →