search

linikujp / owltools

Automatically exported from code.google.com/p/owltools
0 stars 0 forks source link

Add Oort check for logical axioms that have an obsolete class in their signature #52

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Should be a fatal error

Original issue reported on code.google.com by cmung...@gmail.com on 23 Feb 2013 at 12:01

GoogleCodeExporter commented 9 years ago 
Change implemented and added in r1144.

Original comment by HDie...@lbl.gov on 23 Feb 2013 at 12:37