fixed crash on registering against SMT (added missing import of a constant)
Merge pull request #12 from jsrain/master

fixed crash on registering against SMT (added missing import of a constant)