Tools__LintHighlighter.st
branchjv
changeset 13332 5c76049c86f1
parent 12431 9f0c59c742d5
child 15566 184cea584be5
--- a/Tools__LintHighlighter.st	Fri Aug 09 01:11:01 2013 +0100
+++ b/Tools__LintHighlighter.st	Thu Aug 15 12:42:38 2013 +0100
@@ -234,9 +234,10 @@
 !LintHighlighter methodsFor:'initialization'!
 
 reset
-    annotations := #().
+    annotations := OrderedCollection new.
 
     "Created: / 18-02-2012 / 22:54:53 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 15-08-2013 / 12:40:07 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
 !LintHighlighter methodsFor:'markup'!