Fix error undefined array key for first time users

1 files changed, 4 insertions, 1 deletions

diff --git a/index.php b/index.php
index 0f7e8c1..3e0f6cb 100644
--- a/index.php
+++ b/index.php
@@ -26,7 +26,10 @@
       <h3 class="centered">🏃 great for procratinators who need to get a presentation out, quick! 👟</h3>
       <h3 class="centered">🏫 try copy and pasting your school notes! that might even work 😂</h3>
       <hr>
-      <?php include "includes/nav-header.php" ?>
+      <?php 
+         include "includes/nav-header.php";
+         $_SESSION['user-input'] = null;
+      ?>
       <?php if(isset($_POST['compile']))
          {