Commit 9a6e4f28 authored by Florian Rabe's avatar Florian Rabe

no message

parent ba2c46d5
......@@ -120,7 +120,7 @@ class SFOLTheoryAdapter(controller: Controller, path: MPath) {
val rules = RuleSet.collectRules(controller, Context(path))
rules.get(classOf[RealizedType]) flatMap {rt =>
rt.synType match {
case TypedTerms.tm(a) => List((a, rt.semType))
case TypedTerms.tm(a) => List((a, rt))
case _ => Nil
}
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment