Removes the setting of SkipAllBreakpoints on non Debug Launches

overturetool · Jun 30, 2020 · 91453bd · 91453bd
1 parent c57d5af
commit 91453bd
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/...g/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java b/...g/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java
@@ -319,8 +319,6 @@ else if (mode.equals(ILaunchManager.RUN_MODE))
 				abort("Could not create DBGP Service", null);
 			}
 
-			DebugPlugin.getDefault().getBreakpointManager().setEnabled(false);
-
 			target = new VdmDebugTarget(IDebugConstants.ID_VDM_DEBUG_MODEL, service, debugSessionId.toString(), launch, null);
 			target.setVdmProject(vdmProject);
 			launch.addDebugTarget(target);