Mark `package_type` as %inline.

master
François Pottier 2018-11-20 22:48:59 +01:00
parent f464f9c04b
commit ab0f07e0ca
1 changed files with 1 additions and 1 deletions

View File

@ -3199,7 +3199,7 @@ atomic_type:
{ tys }
;
package_type:
%inline package_type:
mktyp(module_type
{ Ptyp_package (package_type_of_module_type $1) })
{ $1 }