Use propt::lcnf instead of propt::l_set_to{true,false}#2033

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:lcnf-cleanup

Feb 25, 2019

Commits on Feb 25, 2019

Use propt::l_set_to_{true,false}
tautschnig
committed