diff --git a/framework/projects/defects4j.build.xml b/framework/projects/defects4j.build.xml index f7065dfce..20464d22d 100644 --- a/framework/projects/defects4j.build.xml +++ b/framework/projects/defects4j.build.xml @@ -104,7 +104,7 @@ project-specific build file ("project_id"/"project_id".build.xml) for the Run developer-written tests --> - +