tree a32f7524c97d852a3bd96899f31de60aba672a3f
parent cf3847fed2526b92f6b09238ef189d1409cc75fa
author Andreas Wundsam <andreas.wundsam@bigswitch.com> 1374707366 -0700
committer Andreas Wundsam <andreas.wundsam@bigswitch.com> 1374787223 -0700

java_gen/java_model: do not memoize enum.get_all_values (arg not hashable)