From 9b55a59f0d0bc4fea31d220131f149156ac6744b Mon Sep 17 00:00:00 2001
From: Jan Siwiec <jan.siwiec@vsb.cz>
Date: Mon, 8 Feb 2021 11:46:34 +0100
Subject: [PATCH] fixed typo

---
 docs.it4i/software/debuggers/aislinn.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs.it4i/software/debuggers/aislinn.md b/docs.it4i/software/debuggers/aislinn.md
index 2a430cbe6..1ee8232e6 100644
--- a/docs.it4i/software/debuggers/aislinn.md
+++ b/docs.it4i/software/debuggers/aislinn.md
@@ -58,7 +58,7 @@ Now we compile the program by Aislinn implementation of MPI. There are `mpicc` f
 $ mpicc -g test.cpp -o test
 ```
 
-The `-g` flag is not necessary, but it puts more debugging information into the program, hence Aislinn may a provide more detailed report. The command produces an executable file `test`.
+The `-g` flag is not necessary, but it puts more debugging information into the program, hence Aislinn may provide a more detailed report. The command produces an executable file `test`.
 
 Now we run the Aislinn itself. The argument `-p 3` specifies that we want to verify our program for the case of three MPI processes:
 
-- 
GitLab