diff --git a/toolbox/org.lamport.tla.toolbox.editor.basic/src/org/lamport/tla/toolbox/editor/basic/tla/TLACompletionProcessor.java b/toolbox/org.lamport.tla.toolbox.editor.basic/src/org/lamport/tla/toolbox/editor/basic/tla/TLACompletionProcessor.java index 90866d8811..b15e0b5a10 100644 --- a/toolbox/org.lamport.tla.toolbox.editor.basic/src/org/lamport/tla/toolbox/editor/basic/tla/TLACompletionProcessor.java +++ b/toolbox/org.lamport.tla.toolbox.editor.basic/src/org/lamport/tla/toolbox/editor/basic/tla/TLACompletionProcessor.java @@ -30,9 +30,8 @@ public TLACompletionProcessor() { // active inside an algorithm definition (chicken or egg problem). final List l = new ArrayList(1); l.add(new CompletionProposalTemplate( - "(***************************************************************************\r\n" - + "--algorithm AlgorithmName {\r\n}\r\n" - + "***************************************************************************)\r\n", + "(*--algorithm AlgorithmName\r\n" + + "end algorithm;*)\r\n", IPCalReservedWords.ALGORITHM, IPCalReservedWords.ALGORITHM_HELP)); proposals.put(ITLAReserveredWords.ALGORITHM, l); }