Take out unused code

dafny-lang · Oct 16, 2024 · 53284e6 · 53284e6
1 parent e0db8fd
commit 53284e6
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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)) {