comp: rename --no-check-other to --no-check-null, because it is what it does
authorJean Privat <jean@pryen.org>
Wed, 13 Aug 2014 14:02:35 +0000 (10:02 -0400)
committerJean Privat <jean@pryen.org>
Wed, 13 Aug 2014 14:02:35 +0000 (10:02 -0400)
commita06a2d696422088fcfed8f5e26f523e5538d266c
tree52e3af4f29af1008e6a412b597735a4a92cb7504
parent022aab197b899c73482cfba461f166078ee8f6aa
comp: rename --no-check-other to --no-check-null, because it is what it does

Signed-off-by: Jean Privat <jean@pryen.org>
src/abstract_compiler.nit
src/global_compiler.nit
src/separate_compiler.nit