fixing constructor issue in pattern matching of nts.ml
Merge pull request #1 from fgarnier/master

Pattern matching issue at line 161 of nts.ml