stp/stp — pull request #109 by msoos (2014-05-31 16:07:56+00:00)
Title: Making 'Var' into uint32_t and removing typedef

Typedef is ambigous: cryptominisat2 also has this typedef and it's
pretty useless, too. Also, it shouldn't be an int, but an unsigned int