diff dwtx/jface/text/source/AnnotationModel.d @ 157:7f75eaa8103a

volatile and cast Map.Entry
author Frank Benoit <benoit@tionex.de>
date Mon, 25 Aug 2008 19:06:44 +0200
parents f70d9508c95c
children 25f1f92fa3df
line wrap: on
line diff
--- a/dwtx/jface/text/source/AnnotationModel.d	Mon Aug 25 19:03:46 2008 +0200
+++ b/dwtx/jface/text/source/AnnotationModel.d	Mon Aug 25 19:06:44 2008 +0200
@@ -477,7 +477,7 @@
         if (annotationsToAdd !is null) {
             Iterator iter= annotationsToAdd.entrySet().iterator();
             while (iter.hasNext()) {
-                Map.Entry mapEntry= (Map.Entry) iter.next();
+                Map.Entry mapEntry= cast(Map.Entry) iter.next();
                 Annotation annotation= cast(Annotation) mapEntry.getKey();
                 Position position= cast(Position) mapEntry.getValue();
                 addAnnotation(annotation, position, false);