diff --git a/util/topgen/topgen.g b/util/topgen/topgen.g
index d3413b6cd..1b27f0eee 100644
--- a/util/topgen/topgen.g
+++ b/util/topgen/topgen.g
@@ -34,7 +34,13 @@ optim_description
 			}
 	separator SPACE* mode_definitions
 	separator SPACE* patterns		
-	separator user_routines
+	separator 
+			{   register int c;
+			    fprintf(genc, linedir, lineno, inpfile);
+			    while ((c = getc(input)) != EOF) {
+				putc(c,genc);
+			    }
+			}
 ;
 
 parameter_line
@@ -282,14 +288,6 @@ replacement (int *n;)
 	]
 ;
 
-user_routines
-	{register c;} :
-			{   fprintf(genc, linedir, lineno, inpfile);
-			    while ((c = getc(input)) != EOF) {
-				putc(c,genc);
-			    }
-			}
-;
 
 identifier
 	{ char *p = idbuf; } :