From d49ca3afa87521f778280279ac2a0ccb985124c0 Mon Sep 17 00:00:00 2001
From: Samuel Gruetter <samuel.gruetter@epfl.ch>
Date: Wed, 19 Feb 2020 17:27:11 -0500
Subject: [PATCH] typo

---
 IntroToProofScripting_template.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/IntroToProofScripting_template.v b/IntroToProofScripting_template.v
index ef6d341..3d089d1 100644
--- a/IntroToProofScripting_template.v
+++ b/IntroToProofScripting_template.v
@@ -182,7 +182,7 @@ Section propositional.
   Admitted.
 End propositional.
 
-(* Backrtracking example #1 *)
+(* Backtracking example #1 *)
 
 Theorem m1 : True.
 Proof.