From 4e6b590fd1093e87dcec619ff2d6e033ba1bc7a1 Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Sun, 10 Feb 2019 12:53:03 -0700
Subject: [PATCH] PAN-6 Fixed an issue with the .travis file

---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index a03b45b..235ba94 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -9,7 +9,8 @@ before_install:
   - cd pandamonium-theorem-prover
 
 before_script:
-  - mysql -u root < pandamonium-theorem-prover/persistence/scripts/mysql/local_development.sql
+  - mysql -u root -e 'CREATE DATABASE pandamonium;'
+  - mysql -u root pandamonium < pandamonium-theorem-prover/persistence/scripts/mysql/local_development.sql
 
 stages:
   - name: Load Database