1 files changed, 2 insertions, 2 deletions

diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
index fe88b4f..cbec9ec 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
@@ -29,7 +29,7 @@ import sparql.ConjunctiveQuery
 
 import uk.ac.ox.cs.rsacomb.ontology.Ontology
 import uk.ac.ox.cs.rsacomb.converter.Normalizer
-import uk.ac.ox.cs.rsacomb.approximation.{Upperbound, Lowerbound}
+import uk.ac.ox.cs.rsacomb.approximation.Approximation
 
 /** Main entry point to the program */
 object RSAComb extends App {
@@ -53,7 +53,7 @@ object RSAComb extends App {
   //ontology.axioms foreach println
 
   /* Approximate the ontology to RSA */
-  val toRSA = new Upperbound
+  val toRSA = config('approximation).get[Approximation[RSAOntology]]
   val rsa = ontology approximate toRSA
 
   if (config contains 'queries) {