Remove unused `C_ASSERT_INFERRED` (!2007) · Merge requests · ligolang / LIGO · GitLab

E. Rivas requested to merge er433/const/remove-C_ASSERT_INFERRED into dev Sep 20, 2022

type:removed

For LIGO developers

Operation C_ASSERT_INFERRED is not used anymore, this MR removes it.

Changelog details: