diff --git a/base/special/erf.jl b/base/special/erf.jl
index d4357aa7199f3..6231461781d33 100644
--- a/base/special/erf.jl
+++ b/base/special/erf.jl
@@ -23,14 +23,14 @@ end
 Compute the error function of `x`, defined by ``\\frac{2}{\\sqrt{\\pi}} \\int_0^x e^{-t^2} dt``
 for arbitrary complex `x`.
 """
-function erf(x) end
+erf(x)
 
 """
     erfi(x)
 
 Compute the imaginary error function of `x`, defined by ``-i \\operatorname{erf}(ix)``.
 """
-function erfi(x) end
+erfi(x)
 
 
 """
@@ -38,7 +38,7 @@ function erfi(x) end
 
 Compute the complementary error function of `x`, defined by ``1 - \\operatorname{erf}(x)``.
 """
-function erfc(x) end
+erfc(x)
 
 """
     erfcx(x)
@@ -46,7 +46,7 @@ function erfc(x) end
 Compute the scaled complementary error function of `x`, defined by ``e^{x^2} \\operatorname{erfc}(x)``.
 Note also that ``\\operatorname{erfcx}(-ix)`` computes the Faddeeva function ``w(x)``.
 """
-function erfcx(x) end
+erfcx(x)
 
 """
     dawson(x)
@@ -54,7 +54,7 @@ function erfcx(x) end
 Compute the Dawson function (scaled imaginary error function) of `x`, defined by
 ``\\frac{\\sqrt{\\pi}}{2} e^{-x^2} \\operatorname{erfi}(x)``.
 """
-function dawson(x) end
+dawson(x)
 
 # Compute the inverse of the error function: erf(erfinv(x)) == x,
 # using the rational approximants tabulated in: