From dc2fa0e54683796b2255855de162d1e75e486aae Mon Sep 17 00:00:00 2001
From: Tom Everett <tom@khubla.com>
Date: Mon, 8 Aug 2016 19:20:08 -0600
Subject: [PATCH] fixed issue with propcalc pom file

---
 propcalc/examples/commute1.txt.errors     | 1 -
 propcalc/examples/doubleneg.txt.errors    | 1 -
 propcalc/examples/equiv1.txt.errors       | 1 -
 propcalc/examples/modusponens.txt.errors  | 1 -
 propcalc/examples/modustollens.txt.errors | 1 -
 propcalc/examples/syllogism.txt.errors    | 1 -
 propcalc/examples/taut1.txt.errors        | 2 --
 propcalc/examples/taut2.txt.errors        | 2 --
 propcalc/pom.xml                          | 2 +-
 9 files changed, 1 insertion(+), 11 deletions(-)
 delete mode 100644 propcalc/examples/commute1.txt.errors
 delete mode 100644 propcalc/examples/doubleneg.txt.errors
 delete mode 100644 propcalc/examples/equiv1.txt.errors
 delete mode 100644 propcalc/examples/modusponens.txt.errors
 delete mode 100644 propcalc/examples/modustollens.txt.errors
 delete mode 100644 propcalc/examples/syllogism.txt.errors
 delete mode 100644 propcalc/examples/taut1.txt.errors
 delete mode 100644 propcalc/examples/taut2.txt.errors

diff --git a/propcalc/examples/commute1.txt.errors b/propcalc/examples/commute1.txt.errors
deleted file mode 100644
index f01102461f..0000000000
--- a/propcalc/examples/commute1.txt.errors
+++ /dev/null
@@ -1 +0,0 @@
-line 1:9 mismatched input '|-' expecting {<EOF>, '^', 'v'}
diff --git a/propcalc/examples/doubleneg.txt.errors b/propcalc/examples/doubleneg.txt.errors
deleted file mode 100644
index e671761baf..0000000000
--- a/propcalc/examples/doubleneg.txt.errors
+++ /dev/null
@@ -1 +0,0 @@
-line 1:2 extraneous input '|-' expecting {<EOF>, '^', 'v', LETTER}
diff --git a/propcalc/examples/equiv1.txt.errors b/propcalc/examples/equiv1.txt.errors
deleted file mode 100644
index 5aadc1ff84..0000000000
--- a/propcalc/examples/equiv1.txt.errors
+++ /dev/null
@@ -1 +0,0 @@
-line 1:10 mismatched input '|-' expecting {<EOF>, '^', 'v'}
diff --git a/propcalc/examples/modusponens.txt.errors b/propcalc/examples/modusponens.txt.errors
deleted file mode 100644
index 0b51aaea08..0000000000
--- a/propcalc/examples/modusponens.txt.errors
+++ /dev/null
@@ -1 +0,0 @@
-line 1:15 mismatched input '|-' expecting {<EOF>, '^', 'v'}
diff --git a/propcalc/examples/modustollens.txt.errors b/propcalc/examples/modustollens.txt.errors
deleted file mode 100644
index f589b6e9a5..0000000000
--- a/propcalc/examples/modustollens.txt.errors
+++ /dev/null
@@ -1 +0,0 @@
-line 1:16 mismatched input '|-' expecting {<EOF>, '^', 'v'}
diff --git a/propcalc/examples/syllogism.txt.errors b/propcalc/examples/syllogism.txt.errors
deleted file mode 100644
index 32fa9e251c..0000000000
--- a/propcalc/examples/syllogism.txt.errors
+++ /dev/null
@@ -1 +0,0 @@
-line 1:19 mismatched input '|-' expecting {<EOF>, '^', 'v'}
diff --git a/propcalc/examples/taut1.txt.errors b/propcalc/examples/taut1.txt.errors
deleted file mode 100644
index e98bfabd56..0000000000
--- a/propcalc/examples/taut1.txt.errors
+++ /dev/null
@@ -1,2 +0,0 @@
-line 1:2 extraneous input '|-' expecting {<EOF>, '^', 'v', LETTER}
-line 1:11 extraneous input ')' expecting {<EOF>, '^', 'v', LETTER}
diff --git a/propcalc/examples/taut2.txt.errors b/propcalc/examples/taut2.txt.errors
deleted file mode 100644
index e98bfabd56..0000000000
--- a/propcalc/examples/taut2.txt.errors
+++ /dev/null
@@ -1,2 +0,0 @@
-line 1:2 extraneous input '|-' expecting {<EOF>, '^', 'v', LETTER}
-line 1:11 extraneous input ')' expecting {<EOF>, '^', 'v', LETTER}
diff --git a/propcalc/pom.xml b/propcalc/pom.xml
index 2b77338887..7659f5a890 100644
--- a/propcalc/pom.xml
+++ b/propcalc/pom.xml
@@ -36,7 +36,7 @@
 				<configuration>
 					<verbose>false</verbose>
 					<showTree>false</showTree>
-					<entryPoint>expression</entryPoint>
+					<entryPoint>proposition</entryPoint>
 					<grammarName>propcalc</grammarName>
 					<packageName></packageName>
 					<exampleFiles>examples/</exampleFiles>