From e4de7503538de8da46b329b10a5a05d9c2b7a5f2 Mon Sep 17 00:00:00 2001
From: Daan Sprenkels <daan@dsprenkels.com>
Date: Thu, 3 Oct 2019 10:07:37 +0200
Subject: [PATCH] Grammar

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

diff --git a/results.tex b/results.tex
index 5690ae1..6ca44ca 100644
--- a/results.tex
+++ b/results.tex
@@ -9,7 +9,7 @@ and the ARM STM32F407 (Cortex-M4).
 On the Intel processors, all measurements were done with Turbo Boost disabled, 
 all Hyper-Threading cores shut down, and with the CPU clocked at the maximum
 nominal frequency.
-The STM32F407 device was run at its default settings,
+The STM32F407 device was run with its default settings,
 as listed in the datasheet~\cite{STM32F407}
 (i.e.~clocked from the internal 16\unit{MHz} internal RC-oscillator).
 We list the benchmarking results in Table~\ref{tab:benchmarks}. As expected,
-- 
GitLab