sepcomp: rename `compile_resolution_tables` as `compute_resolution_tables`
authorJean Privat <jean@pryen.org>
Fri, 20 Mar 2015 06:56:15 +0000 (13:56 +0700)
committerJean Privat <jean@pryen.org>
Sat, 21 Mar 2015 06:01:04 +0000 (13:01 +0700)
commite19268a8c2bd866cd07d31a75f2ca6fe63883a93
tree43b9de8a433966e77ce6c5966baa873d158dcddb
parent4136382e2d92a37d0f45aabe9f182da495c246cc
sepcomp: rename `compile_resolution_tables` as `compute_resolution_tables`

because there is no C generation, only abstract data-structures.

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