remove dead "Spec" in grammar

fajb · fajb · commit 10d6df43cd9c · 2025-02-26T10:22:31.000+01:00
diff --git a/doc/tools/docgram/common.edit_mlg b/doc/tools/docgram/common.edit_mlg
@@ -1234,7 +1234,7 @@ add_tify: [
 ]
 
 show_tify: [
-| [ "InjTyp" | "BinOp" | "UnOp" | "CstOp" | "BinRel" | "UnOpSpec" | "BinOpSpec" | "Spec" ]  TAG Micromega
+| [ "InjTyp" | "BinOp" | "UnOp" | "CstOp" | "BinRel" | "UnOpSpec" | "BinOpSpec"  ]  TAG Micromega
 ]
 
 command: [
diff --git a/doc/tools/docgram/orderedGrammar b/doc/tools/docgram/orderedGrammar
@@ -189,7 +189,7 @@ add_tify: [
 ]
 
 show_tify: [
-| [ "InjTyp" | "BinOp" | "UnOp" | "CstOp" | "BinRel" | "UnOpSpec" | "BinOpSpec" | "Spec" ]      (* Micromega plugin *)
+| [ "InjTyp" | "BinOp" | "UnOp" | "CstOp" | "BinRel" | "UnOpSpec" | "BinOpSpec" ]      (* Micromega plugin *)
 ]
 
 REACHABLE: [

Original file line number	Diff line number	Diff line change
`@@ -1234,7 +1234,7 @@ add_tify: [`
`1234`	`1234`	`]`
`1235`	`1235`
`1236`	`1236`	`show_tify: [`
`1237`		`-\| [ "InjTyp" \| "BinOp" \| "UnOp" \| "CstOp" \| "BinRel" \| "UnOpSpec" \| "BinOpSpec" \| "Spec" ] TAG Micromega`
	`1237`	`+\| [ "InjTyp" \| "BinOp" \| "UnOp" \| "CstOp" \| "BinRel" \| "UnOpSpec" \| "BinOpSpec" ] TAG Micromega`
`1238`	`1238`	`]`
`1239`	`1239`
`1240`	`1240`	`command: [`
Original file line number	Diff line number	Diff line change
`@@ -189,7 +189,7 @@ add_tify: [`
`189`	`189`	`]`
`190`	`190`
`191`	`191`	`show_tify: [`
`192`		`-\| [ "InjTyp" \| "BinOp" \| "UnOp" \| "CstOp" \| "BinRel" \| "UnOpSpec" \| "BinOpSpec" \| "Spec" ] (* Micromega plugin *)`
	`192`	`+\| [ "InjTyp" \| "BinOp" \| "UnOp" \| "CstOp" \| "BinRel" \| "UnOpSpec" \| "BinOpSpec" ] (* Micromega plugin *)`
`193`	`193`	`]`
`194`	`194`
`195`	`195`	`REACHABLE: [`