From 56a3cc7f1a2d1dc85a262f2648cf246197684caf Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Mon, 17 Aug 2020 14:30:50 +0100
Subject: Add simple examples

---
 src/main/scala/rsacomb/RSAOntology.scala | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index a3c1843..c658227 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -55,7 +55,8 @@ trait RSAOntology {
       val renderer = new DLSyntaxObjectRenderer()
       println("\nDL rules:")
       tbox.foreach(x => println(renderer.render(x)))
-      println(s"Unsafe roles: $unsafe")
+      println("\nUnsafe roles:")
+      println(unsafe)
 
       /* Ontology convertion into LP rules */
       val datalog = for {
-- 
cgit v1.2.3