From 4229232a954a03a9b97a271b9f0dae6758b7a3a2 Mon Sep 17 00:00:00 2001
From: Aryan Thodupunuri <65787464+AryanThodupunuri@users.noreply.github.com>
Date: Thu, 31 Aug 2023 15:48:34 -0400
Subject: [PATCH] Update quiz1.lean

---
 Instructor/Quizzes/quiz1.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Instructor/Quizzes/quiz1.lean b/Instructor/Quizzes/quiz1.lean
index 4cfaa664..07c84b6d 100644
--- a/Instructor/Quizzes/quiz1.lean
+++ b/Instructor/Quizzes/quiz1.lean
@@ -10,7 +10,7 @@ need for this class.
 
 What is the type of (the identifier) Bool in Lean?
 
-Replace the blank with your answer here: ____
+Replace the blank with your answer here: Type
 
 Remember you can use Lean to #check your answer!
 -/
@@ -21,7 +21,7 @@ Remember you can use Lean to #check your answer!
 
 Is class moving too fast, too slow, or about right for you?
 
-Write your answer here: __________
+Write your answer here: About right
 
 If you said "too fast," please explain briefly what ideas
 you're most struggling with, here: