diff --git a/lib/svg_types.mli b/lib/svg_types.mli index a786da522..bd365681d 100644 --- a/lib/svg_types.mli +++ b/lib/svg_types.mli @@ -502,6 +502,9 @@ type symbol_content = type symbol_attr = [ + | core_attr + | graphical_event_attr + | presentation_attr | `Class | `Style | `ExternalResourcesRequired