kframework/k — pull request #1160 by yilongli (2014-11-06 19:34:14+00:00)
Title: fixed a bug when computing cells of interest in java backend

fixed a small latent bug

@dwightguth please review