From f19c2acde75e61f1ee8b50aa7e25ae73df56a142 Mon Sep 17 00:00:00 2001
From: George Vavilov <35401860+doritosxxx@users.noreply.github.com>
Date: Tue, 17 Oct 2023 20:55:34 +0300
Subject: [PATCH] Flip arguments

---
 tex/report.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tex/report.tex b/tex/report.tex
index 71e7cd28..fb471262 100644
--- a/tex/report.tex
+++ b/tex/report.tex
@@ -54,7 +54,7 @@
   (\iexec{find "${TARGET}/data" -type f -name '*.csv' | wc -l}\unskip{} total);
 
   \item \ff{github/} is the entire collection of
-  \iexec{find "${TARGET}/github" -f type -name '*.java' | wc -l}\unskip{}
+  \iexec{find "${TARGET}/github" -type f -name '*.java' | wc -l}\unskip{}
   source files ``as is''
   (\iexec{du -sh "${TARGET}/github" | cut -f1}\unskip{} total).