From 54aac9fe0a3c9ceadd41b1fee156527b81419920 Mon Sep 17 00:00:00 2001
From: dawei-wang <dawei-wang@users.noreply.github.com>
Date: Mon, 6 Feb 2023 19:40:59 -0800
Subject: [PATCH] Fix typo

Fix OpenLogicProject/OpenLogic#328
---
 content/computability/recursive-functions/pr-functions.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/content/computability/recursive-functions/pr-functions.tex b/content/computability/recursive-functions/pr-functions.tex
index 0da3dd59..06f823cf 100644
--- a/content/computability/recursive-functions/pr-functions.tex
+++ b/content/computability/recursive-functions/pr-functions.tex
@@ -124,7 +124,7 @@
 
 \begin{prob}
   Prove \olref[cmp][rec][prf]{prop:mult-pr} by showing that the
-  primitive recursive definition of $\Mult$ is can be put into the
+  primitive recursive definition of $\Mult$ can be put into the
   form required by \olref[cmp][rec][prf]{defn:primitive-recursion} and
   showing that the corresponding functions $f$ and~$g$ are primitive
   recursive.