Fixes bug in running JPhyloRef without specifying which reasoner to use

phyloref / jphyloref

MIT License

0 stars 0 forks source link

Fixes bug in running JPhyloRef without specifying which reasoner to use #23

Closed gaurav closed 6 years ago

gaurav commented 6 years ago

Currently, JPhyloRef won't reason over any files unless a reasoner is specified with the --reasoner command line. This PR sets JFact as the default reasoner if no reasoner is specified.