Merge: src: remove some warnings and do some cleaning
authorJean Privat <jean@pryen.org>
Mon, 13 Oct 2014 17:40:08 +0000 (13:40 -0400)
committerJean Privat <jean@pryen.org>
Mon, 13 Oct 2014 17:40:08 +0000 (13:40 -0400)
commite43a2bf0b8d43cc6fb23c1247da303fd39c89bfe
tree26dbea277350e4b1f567bbc180b2e5104d169f6e
parent894c39ea5f61a591ba833bebf926c3d88fe278ba
parent2e5a405ba5d1a04effab020a709eba4ea88ed1b3
Merge: src: remove some warnings and do some cleaning

Extracted from the first version of #817

Pull-Request: #819
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
src/ffi/java.nit
src/interpreter/naive_interpreter.nit
src/semantize/auto_super_init.nit
src/semantize/typing.nit