Skip to content

Commit

Permalink
fixed issue with propcalc pom file
Browse files Browse the repository at this point in the history
  • Loading branch information
teverett committed Aug 9, 2016
1 parent b6ce5c8 commit dc2fa0e
Show file tree
Hide file tree
Showing 9 changed files with 1 addition and 11 deletions.
1 change: 0 additions & 1 deletion propcalc/examples/commute1.txt.errors

This file was deleted.

1 change: 0 additions & 1 deletion propcalc/examples/doubleneg.txt.errors

This file was deleted.

1 change: 0 additions & 1 deletion propcalc/examples/equiv1.txt.errors

This file was deleted.

1 change: 0 additions & 1 deletion propcalc/examples/modusponens.txt.errors

This file was deleted.

1 change: 0 additions & 1 deletion propcalc/examples/modustollens.txt.errors

This file was deleted.

1 change: 0 additions & 1 deletion propcalc/examples/syllogism.txt.errors

This file was deleted.

2 changes: 0 additions & 2 deletions propcalc/examples/taut1.txt.errors

This file was deleted.

2 changes: 0 additions & 2 deletions propcalc/examples/taut2.txt.errors

This file was deleted.

2 changes: 1 addition & 1 deletion propcalc/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down

0 comments on commit dc2fa0e

Please sign in to comment.