fix ordinals not being applied to return types of symbols

runtimeverification / llvm-backend

KORE to llvm translation

BSD 3-Clause "New" or "Revised" License

36 stars 23 forks source link

fix ordinals not being applied to return types of symbols #1162

Closed dwightguth closed 2 weeks ago

dwightguth commented 3 weeks ago

This fixes a bug where the sort ordinals for formal parameters mentioned only in the return type of the symbol were not correct, leading to incorrect serialization of terms containing injections.