Commit 8becec7f authored by Simone Vuotto's avatar Simone Vuotto

Merge branch 'master' of github.com:SimoV8/ReqV-backend

parents e1bc83d7 9372701f
......@@ -104,7 +104,7 @@ public class Snl2FlEngine implements ProjectEngine {
Task runningTask = taskRepository.findOne(taskId);
runningTask.appendLog("\n\n##################################################################");
runningTask.appendLog("Minimum Unsatisfiable core of " + inconsistentReqs.size() + " requirements found:");
runningTask.appendLog("Minimal Unsatisfiable core of " + inconsistentReqs.size() + " requirements found:");
for(it.sagelab.models.psp.Requirement r : inconsistentReqs)
runningTask.appendLog(r.getText());
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment