sat-solver: If asked to parse with nulls, warn and do nothing#194

Merged

linas merged 1 commit intoopencog:masterfrom ampli:satnn

Oct 6, 2015

+17

Commits on Oct 6, 2015

sat-solver: If asked to parse with nulls, warn and do nothing
ampli
committed