pierreganty/c2s — pull request #1 by fgarnier (2013-02-05 15:09:36+00:00)
Title: Pattern matching issue at line 161 of nts.ml

Replacing CntNdet(_) with CntNdet