.

utwente-fmt · Jan 19, 2024 · c958642 · c958642
1 parent 1dcceae
commit c958642
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/col/vct/col/ast/family/location/InLinePatternLocationImpl.scala b/src/col/vct/col/ast/family/location/InLinePatternLocationImpl.scala
@@ -2,7 +2,8 @@ package vct.col.ast.family.location
 
 import vct.col.ast.InLinePatternLocation
 import vct.col.print.{Ctx, Doc, Text}
+import vct.col.ast.ops.InLinePatternLocationOps
 
-trait InLinePatternLocationImpl[G] { this: InLinePatternLocation[G] =>
+trait InLinePatternLocationImpl[G] extends InLinePatternLocationOps[G] { this: InLinePatternLocation[G] =>
   override def layout(implicit ctx: Ctx): Doc = loc.show <+> "{" <> pattern <> "}"
 }
diff --git a/src/rewrite/vct/rewrite/InlineApplicables.scala b/src/rewrite/vct/rewrite/InlineApplicables.scala
@@ -265,7 +265,7 @@ case class InlineApplicables[Pre <: Generation]() extends Rewriter[Pre] with Laz
       dispatch(InlinePattern(PredicateApply(pred, args, WritePerm()(loc.o))(loc.o))(loc.o))
 
     case Perm(InLinePatternLocation(loc @ InstancePredicateLocation(pred, obj, args), pat), WritePerm()) if pred.decl.inline =>
-      dispatch(InlinePattern(InstancePredicateApply(obj, pred, args, WritePerm()(loc.o))(loc.o)))
+      dispatch(InlinePattern(InstancePredicateApply(obj, pred, args, WritePerm()(loc.o))(loc.o))(loc.o))
 
     case other => rewriteDefault(other)
   }