From 525b8738b15c3b9340e1d0c0c575eec1bfb17e77 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Tue, 29 Jul 2014 16:08:34 +0200
Subject: [PATCH] missing annotation
---
de.prob.units/src/de/prob/units/ConfSettor.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/de.prob.units/src/de/prob/units/ConfSettor.java b/de.prob.units/src/de/prob/units/ConfSettor.java
index c41716ec..3bcde7c9 100644
--- a/de.prob.units/src/de/prob/units/ConfSettor.java
+++ b/de.prob.units/src/de/prob/units/ConfSettor.java
@@ -21,6 +21,7 @@ public class ConfSettor implements IElementChangedListener {
private static final String CONFIG = Activator.PLUGIN_ID + ".mchBase";
+ @Override
public void elementChanged(ElementChangedEvent event) {
final IRodinElementDelta d = event.getDelta();
--
GitLab