Trigger rebuild

utwente-fmt · Jun 27, 2023 · 5fe22da · 5fe22da
1 parent 4dfb15e
commit 5fe22da
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/col/src/main/java/vct/col/print/Printer.scala b/col/src/main/java/vct/col/print/Printer.scala
@@ -1288,6 +1288,7 @@ case class Printer(out: Appendable,
     case InstancePredicateLocation(predicate, obj, args) => say(expr(obj)._1, ".", name(predicate.decl), "(", commas(args.map(NodePhrase)), ")")
     case AmbiguousLocation(expr) => say(expr)
     case x =>
+
       say(s"Unknown location type in Printer.scala: ${x.getClass.getCanonicalName}")
   }