annotations: was yes or NO. It is now yes or no.

diff --git a/helm/annotationHelper/cicAnnotationHelper.ml b/helm/annotationHelper/cicAnnotationHelper.ml
index 3104f6e665c86b65e97b9c6723986064e9ec10e7..0b858b268e5a725bd6fe60e80cd2fdcd2b68446a 100644 (file)
--- a/helm/annotationHelper/cicAnnotationHelper.ml
+++ b/helm/annotationHelper/cicAnnotationHelper.ml
@@ -101,7 +101,7 @@ module UrlManipulator =
                  Some
                   (match ann with
                       "yes" -> ".ann"
-                    | "NO"  -> ""
+                    | "no"  -> ""
                     | _     -> raise (Bad_formed_url url)
                   ) ;
                 if !founduri = None then