stp/stp — pull request #110 by msoos (2014-05-31 23:48:09+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