Merge pull request #31 from proux01/rocq21126

Adapt to rocq-prover/rocq#21126

Author: ppedrot

lib/automationGen.ml

@@ -133,7 +133,7 @@ module NotationGen = struct
   open Vernacexpr
   open GallinaGen
 
-  type g_assoc = Gramlib.Gramext.g_assoc = NonA | RightA | LeftA
+  type g_assoc = Gramlib.Gramext.g_assoc = NonA | RightA | LeftA | BothA
 
   type t = VarConstr
          | VarInst