-
John van Groningen authored
change type PredefinedSymbolsData to !{psd_predefs_a :: !{#PredefinedSymbol}} (an extra field will be added later)
f66ffeec
change type PredefinedSymbolsData to !{psd_predefs_a :: !{#PredefinedSymbol}} (an extra field will be added later)