Commit f66ffeec authored by John van Groningen's avatar John van Groningen
Browse files

change type PredefinedSymbolsData to !{psd_predefs_a :: !{#PredefinedSymbol}}...

change type PredefinedSymbolsData  to !{psd_predefs_a :: !{#PredefinedSymbol}} (an extra field will be added later)


parent 5c122cd3
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment