Skip to content

formula: is_literal should be const

Alexandre Duret-Lutz requested to merge adl/islit into next

Reported by Ayrat Khalimov.

  • spot/tl/formula.hh (is_literal): Mark as const.

Merge request reports