diff --git a/out/production/classes/META-INF/edu.msudenver.tsp.pandamonium-theorem-prover.main.kotlin_module b/out/production/classes/META-INF/edu.msudenver.tsp.pandamonium-theorem-prover.main.kotlin_module new file mode 100644 index 0000000..8fb6019 Binary files /dev/null and b/out/production/classes/META-INF/edu.msudenver.tsp.pandamonium-theorem-prover.main.kotlin_module differ diff --git a/out/test/classes/META-INF/edu.msudenver.tsp.pandamonium-theorem-prover.main.kotlin_module b/out/test/classes/META-INF/edu.msudenver.tsp.pandamonium-theorem-prover.main.kotlin_module new file mode 100644 index 0000000..8fb6019 Binary files /dev/null and b/out/test/classes/META-INF/edu.msudenver.tsp.pandamonium-theorem-prover.main.kotlin_module differ diff --git a/src/main/java/edu/msudenver/tsp/website/controller/forms/Theorem.java b/src/main/java/edu/msudenver/tsp/website/controller/forms/Theorem.java index 7b15b36..ae6687b 100644 --- a/src/main/java/edu/msudenver/tsp/website/controller/forms/Theorem.java +++ b/src/main/java/edu/msudenver/tsp/website/controller/forms/Theorem.java @@ -9,8 +9,9 @@ import javax.validation.constraints.NotBlank; @Setter public class Theorem { private String theoremName1 ; - private String theoremName2 ; - @NotBlank(message = "Theorem name must not be blank") private String theoremName; - private String theorem; + private String theoremName2 ; + + // @NotBlank(message = "Theorem name must not be blank") private String theoremName; + } diff --git a/src/main/webapp/WEB-INF/jsp/Theorem.jsp b/src/main/webapp/WEB-INF/jsp/Theorem.jsp index 8933e48..06a1c35 100644 --- a/src/main/webapp/WEB-INF/jsp/Theorem.jsp +++ b/src/main/webapp/WEB-INF/jsp/Theorem.jsp @@ -4,7 +4,7 @@
-