nitc/nitc-e: remove typing options
authorAlexandre Terrasa <alexandre@moz-code.org>
Wed, 30 Apr 2014 17:10:50 +0000 (13:10 -0400)
committerAlexandre Terrasa <alexandre@moz-code.org>
Thu, 8 May 2014 01:28:14 +0000 (21:28 -0400)
commitf571b46e9624af6845bca13e54538aa4f2ec5d41
treeab976de5130aac13634719740ae6816dcb83a15f
parent3bcea2e6ca8d9061e492399ff13c6b0408e2f600
nitc/nitc-e: remove typing options

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
src/separate_compiler.nit
src/separate_erasure_compiler.nit