remove unnecessary conflict type and assign coarse conflict by default.
authoryeom <yeom>
Wed, 20 Oct 2010 17:29:24 +0000 (17:29 +0000)
committeryeom <yeom>
Wed, 20 Oct 2010 17:29:24 +0000 (17:29 +0000)
commit71d8102c4a92549083e7a559b71717decc2e7c0f
tree58ce67b3777ddd243b426dce8d40226923affe71
parent213c3bc709ab1ae5267fd1e8abea00c419d1f4bf
remove unnecessary conflict type and assign coarse conflict by default.
Robust/src/Analysis/OoOJava/ConflictGraph.java