diff --git a/lib/automationGen.ml b/lib/automationGen.ml
index 8b14ec2..8918c11 100644
--- a/lib/automationGen.ml
+++ b/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