generated h file always contains print prototype

boschresearch / blech

Blech is a language for developing reactive, real-time critical embedded software.

Apache License 2.0

72 stars 5 forks source link

generated h file always contains print prototype #57

Closed FriedrichGretz closed 3 years ago

FriedrichGretz commented 3 years ago

Describe the bug Run blechc WITHOUT --trace argument. The generated C code does not have a printState function accordingly. Yet the corresponding header unnecessarily declares a printState prototype.

schorg commented 3 years ago

Fixed it with commit https://github.com/boschresearch/blech/commit/669c2cc2df2fb15c66db9930a50f5e8eeb47efe4