From ff19bf8c1c3fd4e614d898b7c37d62e11b29db30 Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Sun, 10 Feb 2019 13:57:25 -0700
Subject: [PATCH] PAN-6 Fixed the user creation for .travis.yml

---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index 855502d..9b07066 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -17,6 +17,7 @@ before_install:
   - cd pandamonium-theorem-prover
 
 before_script:
+  - mysql_upgrade --force -uroot -p
   - mysql -u root -e 'CREATE DATABASE IF NOT EXISTS pandamonium;'
   - mysql -u root -e "CREATE USER 'panda'@'localhost';"
   - mysql -u root -e "GRANT ALL PRIVILEGES ON *.* to 'panda'@'localhost';"