diff --git a/pom.xml b/pom.xml
index 513614a..487b135 100644
--- a/pom.xml
+++ b/pom.xml
@@ -36,7 +36,7 @@
         
     </dependencies>
   <build>
-    <sourceDirectory>src</sourceDirectory>
+    
     <plugins>
 		
       <plugin>
diff --git a/src/models/terms/PrimedTerm.java b/src/models/terms/PrimedTerm.java
index 96eb108..6de8ae5 100644
--- a/src/models/terms/PrimedTerm.java
+++ b/src/models/terms/PrimedTerm.java
@@ -7,7 +7,7 @@
 
 	private EvaluatableTerm primedTerm;
 	
-	protected PrimedTerm(EvaluatableTerm term) {
+	public PrimedTerm(EvaluatableTerm term) {
 		super(term.getSymbol(), term.getOrder(), term.getSize());
 		this.primedTerm = term;
 	}