Commit 7eaa236f authored by Simone Vuotto's avatar Simone Vuotto

Small fix

parent 60a4185c
...@@ -30,7 +30,7 @@ ...@@ -30,7 +30,7 @@
<textarea class="form-control" readonly="readonly" rows="5">{{task.log}}</textarea> <textarea class="form-control" readonly="readonly" rows="5">{{task.log}}</textarea>
</div> </div>
<div *ngIf="task.id === tasks[0].id && task.fail" style="padding-top: 10px"> <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). requirements (Warning: it may take a long time).
</div> </div>
</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