Remove unneeded direct encoding check in SatWrapper_Table::add
Remove unneeded direct encoding check in SatWrapper_Table::add

eomahony/Numberjack,JElchison/Numberjack,eomahony/Numberjack,JElchison/Numberjack,JElchison/Numberjack,eomahony/Numberjack,JElchison/Numberjack,JElchison/Numberjack,eomahony/Numberjack,eomahony/Numberjack