no message

scala/info/kwarc/mmt/mitm/rules/Units.scala

@@ -148,7 +148,7 @@ object NoneIsReal extends ComputationRule(Units.qe) {
 }
 
 object DimEq extends TypeBasedEqualityRule(Nil,Units.dimensions ? "dimension") {
-  def applicableToTerm(tm: Term) = true
+  def applicableToTerm(solver: Solver, tm: Term) = true
   
   override def apply(solver: Solver)(tm1: Term, tm2: Term, tp: Term)(implicit stack: Stack, history: History): Option[Boolean] = {
     val (t1,t2) = (Normalize.dims(tm1)(solver,stack,history),Normalize.dims(tm2)(solver,stack,history))
@@ -162,7 +162,7 @@ object DimEq extends TypeBasedEqualityRule(Nil,Units.dimensions ? "dimension") {
 }
 
 object UnitEq extends TypeBasedEqualityRule(Nil,Units.units ? "unit") {
-  def applicableToTerm(tm: Term) = true
+  def applicableToTerm(solver: Solver, tm: Term) = true
 
   override def apply(solver: Solver)(tm1: Term, tm2: Term, tp: Term)(implicit stack: Stack, history: History): Option[Boolean] = {
     val (t1,t2) = (Normalize.units(tm1)(solver,stack,history),Normalize.units(tm2)(solver,stack,history))