From a12f4ce5044b44418446f49395711a9ba738a074 Mon Sep 17 00:00:00 2001
From: Charles Reyes
Date: Fri, 11 Nov 2022 18:53:38 +0800
Subject: Fix error undefined array key for first time users

---
 index.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'index.php')

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']))
          {
 
-- 
cgit v1.2.3