Create a new Spoofax project and change the context-free syntax to the following:

context-free syntax
  
"module" ID Header? Definition* -> Start {"Module"}

"header" "{" HeaderAssignment* "}" -> Header {"Header"}
ID ":" ID  -> HeaderAssignment {"HeaderEnumeration"}

"entity" ID "{" Property* "}" -> Definition {"Entity"}
ID ":" Type                   -> Property {"Property"}
ID                            -> Type {"Type"}

The generated folding definitions contain a spurious entry marked as an error:

folding Default folding definitions 
  Start.Module
  OptHeader3
  Header.Header
  Definition.Entity

Submitted on 13 June 2013 at 04:23

Sort/constructor errors in the folding definitions are safe to ignore, but they should indeed be fixed.