Remove unnecessary comment

goose-lang · Oct 30, 2024 · 3a485d4 · 3a485d4
1 parent 306b380
commit 3a485d4
Showing 1 changed file with 0 additions and 19 deletions.
diff --git a/recordgen/recordgen.go b/recordgen/recordgen.go
@@ -178,25 +178,6 @@ Admitted.
 					}
 					fmt.Fprintf(w, ").\nAdmitted.\n\n")
 
-					/*
-Instance wp_struct_make_AsyncFile mu data filename index indexCond durableIndex durableIndexCond
-        closeRequested closed closedCond :
-  PureWp True
-  (struct.make AsyncFile (struct.fields_val [
-                              "mu" ::= #mu;
-                              "data" ::= #data;
-                              "filename" ::= #filename;
-                              "index" ::= #index;
-                              "indexCond" ::= #indexCond;
-                              "durableIndex" ::= #durableIndex;
-                              "durableIndexCond" ::= #durableIndexCond;
-                              "closeRequested" ::= #closeRequested;
-                              "closed" ::= #closed;
-                              "closedCond" ::= #closedCond
-                            ]%V
-  ))
-  #(AsyncFile.mk mu data filename index indexCond durableIndex durableIndexCond closeRequested closed closedCond)
-.*/
 					ctx.defNames = append(ctx.defNames, defName)
 					ctx.defs[defName] = w.String()
 				}