0.18.2 protected

Giovanni Ciatto

@gciatto-unibo

178b1e2d · Merge branch 'hotfix/parsing-structures' into 'develop' · Jul 14, 2021

fix parsing of structures having truth values as functors