Merge: Remove useless empty line
authorJean Privat <jean@pryen.org>
Tue, 3 Dec 2019 15:39:52 +0000 (10:39 -0500)
committerJean Privat <jean@pryen.org>
Tue, 3 Dec 2019 15:39:52 +0000 (10:39 -0500)
commitee08a6e17b64e594f33e047987f9cbd6004e058f
tree2c8c7adfe9b528d176582043f0c1a33aae7bdeb7
parentb5ceddeed3e246a1fd7970d12343f03a74926abf
parentd5e4a1e1e4a32b8c49fb589b1721f32ed3759d66
Merge: Remove useless empty line

I was reading that file recently and noticed this empty line :p

Pull-Request: #2807
src/rapid_type_analysis.nit