From 101ba17e3b39a9b11888219705cde9a150a3bf02 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 28 Oct 2020 19:21:22 +0100
Subject: Add unit tests for example2.owl for the canonical model computation

---
 examples/example2.owl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'examples')

diff --git a/examples/example2.owl b/examples/example2.owl
index f42f6c9..5c83fa6 100644
--- a/examples/example2.owl
+++ b/examples/example2.owl
@@ -109,4 +109,4 @@
         <rdfs:subClassOf rdf:resource="#Y" />
     </owl:Restriction>
 
-</rdf:RDF>
\ No newline at end of file
+</rdf:RDF>
-- 
cgit v1.2.3