diff --git a/Source/DafnyCore/Backends/GoLang/GoCodeGenerator.cs b/Source/DafnyCore/Backends/GoLang/GoCodeGenerator.cs
index a292aea5d9..5bd0e5fd8f 100644
--- a/Source/DafnyCore/Backends/GoLang/GoCodeGenerator.cs
+++ b/Source/DafnyCore/Backends/GoLang/GoCodeGenerator.cs
@@ -1384,9 +1384,6 @@ private ConcreteSyntaxTree CreateSubroutine(string name, List<TypeArgumentInstan
         } else if (thisContext != null) {
           w = w.NewBlock("", open: BlockStyle.Brace);
           for (var i = 0; i < inParams.Count; i++) {
-            if (inParams[i].IsGhost) {
-              continue;
-            }
             var p = (overriddenInParams ?? inParams)[i];
             var instantiatedType = p.Type.Subst(thisContext.ParentFormalTypeParametersToActuals);
             if (!p.IsGhost && !instantiatedType.Equals(p.Type)) {