diff hotspot/.settings/org.eclipse.core.runtime.prefs @ 8961:1b5eeb50e690

PEA: fix virtualization of CheckCastNode (check type)
author Lukas Stadler <lukas.stadler@jku.at>
date Tue, 09 Apr 2013 22:24:42 +0200
parents e53926b0a6cb
children
line wrap: on
line diff