(no commit message)

diff --git a/why_a_libresoc.mdwn b/why_a_libresoc.mdwn
index 8a643f1d0aa23f1b8e76de47762cff8b9c784663..da41fe563316f232d043f4576772155acdd6b882 100644 (file)
--- a/why_a_libresoc.mdwn
+++ b/why_a_libresoc.mdwn
@@ -1,6 +1,6 @@
 ## Why a Libre SOC?
 
-Its quite hard to guarantee that a performant processors (think pipelined, out-of-order) are functionally perfectly correct. In fact, it often turns out that they [aren’t](https://meltdownattack.com).
+Its quite hard to guarantee that performant processors (think pipelined, out-of-order) are functionally perfectly correct. In fact, it often turns out that they [aren’t](https://meltdownattack.com).
 
 There are entire [dissertations](http://www.kroening.com/diss/diss-kroe.pdf) dedicated to the subject matter of merely functionally verifying a pipeline (this doesn’t even consider out of order execution).