Commit 34925f7f authored by Simone Vuotto's avatar Simone Vuotto

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

parents a17c22ac 7eaa236f
......@@ -30,7 +30,7 @@
<textarea class="form-control" readonly="readonly" rows="5">{{task.log}}</textarea>
</div>
<div *ngIf="task.id === tasks[0].id && task.fail" style="padding-top: 10px">
<a href="javascript:void(0);" (click)="computeMUC();">Click here</a> if you want to search for the minimum unsatisfiable core of
<a href="javascript:void(0);" (click)="computeMUC();">Click here</a> if you want to search for a minimal unsatisfiable core of
requirements (Warning: it may take a long time).
</div>
</div>
......
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