added forgotten jobEnd

usethesource · Oct 17, 2024 · 0ba560d · 0ba560d
1 parent 97de64d
commit 0ba560d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/Checker.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/Checker.rsc
@@ -138,6 +138,8 @@ ModuleStatus rascalTModelForLocs(
         msgs += ms.messages[m] ? [];
     }
 
+    str jobName = "";
+
     try {
         ms = getImportAndExtendGraph(topModuleNames, compilerConfig);
 
@@ -289,7 +291,7 @@ ModuleStatus rascalTModelForLocs(
         }
     }
 
-
+    jobEnd(jobName);
     return ms;
 }