Commit b08d42d6 authored by Johannes Roith's avatar Johannes Roith

The Automaton is cheap to build now. Remove warning.

parent a25ee9a5
......@@ -94,7 +94,7 @@ public class MultiPageEditor extends MultiPageEditorPart implements
Composite composite = new Composite(getContainer(), SWT.NONE);
graphReduceView = new CupReduceGraphView(composite, jumper, getEditor());
int index = addPage(composite);
setPageText(index, "Automaton View (expensive)");
setPageText(index, "Automaton View");
void createOverviewPage(Jumper jumper) {
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