From 9979975fd06c8f1ef36d877dd8b39ec60bb2c033 Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Sun, 3 Feb 2019 19:35:30 -0700
Subject: [PATCH] Updated the builds

---
 pandamonium-theorem-prover/build.gradle                     | 4 ++--
 .../edu/msudenver/tsp/persistence/manager/ProofManager.java | 6 ++++--
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/pandamonium-theorem-prover/build.gradle b/pandamonium-theorem-prover/build.gradle
index dc94101..9909528 100644
--- a/pandamonium-theorem-prover/build.gradle
+++ b/pandamonium-theorem-prover/build.gradle
@@ -74,8 +74,8 @@ dependencies {
 }
 
 test {
-    if (System.properties['test.profile'] != 'edu.msudenver.tsp.website.integrationTest') {
-        exclude '**/*edu.msudenver.tsp.website.integrationTest*'
+    if (System.properties['test.profile'] != 'integrationTest') {
+        exclude '**/*integrationTest*'
     } else {
         exclude '**/*edu/*'
     }
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/edu/msudenver/tsp/persistence/manager/ProofManager.java b/pandamonium-theorem-prover/persistence/src/main/java/edu/msudenver/tsp/persistence/manager/ProofManager.java
index 54115c4..b891add 100644
--- a/pandamonium-theorem-prover/persistence/src/main/java/edu/msudenver/tsp/persistence/manager/ProofManager.java
+++ b/pandamonium-theorem-prover/persistence/src/main/java/edu/msudenver/tsp/persistence/manager/ProofManager.java
@@ -1,11 +1,13 @@
 package edu.msudenver.tsp.persistence.manager;
 
 import edu.msudenver.tsp.persistence.dao.ProofDao;
-import lombok.AllArgsConstructor;
 import org.springframework.stereotype.Component;
 
 @Component
-@AllArgsConstructor
 class ProofManager {
     final private ProofDao proofDao;
+
+    ProofManager(final ProofDao proofDao) {
+        this.proofDao = proofDao;
+    }
 }