diff --git a/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala b/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala
index e3f22bd696f8..50682a7f70e8 100644
--- a/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala
+++ b/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala
@@ -183,7 +183,7 @@ class PlainPrinter(_ctx: Context) extends Printer {
         "<noprefix>"
       case tp: MethodType =>
         changePrec(GlobalPrec) {
-          (if (tp.isContextual) " with " else "") ~
+          (if (tp.isContextual) " given " else "") ~
           ("(" + (if (tp.isErasedMethod)   "erased "   else "")
                + (if (tp.isImplicitMethod && !tp.isContextual) "implicit " else "")
           ) ~ paramsText(tp) ~
diff --git a/compiler/test-resources/repl/defs b/compiler/test-resources/repl/defs
index 8e70f2eacfc0..e538aed9b0a0 100644
--- a/compiler/test-resources/repl/defs
+++ b/compiler/test-resources/repl/defs
@@ -10,3 +10,5 @@ scala> def id(x: 4): 4 = x
 def id(x: Int(4)): Int(4)
 scala> id(4)
 val res0: Int = 4
+scala> def f given Int = 1
+def f given (x$1: Int): Int