From 96913f741fa9bb31502e32178d67f9efb81033c3 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 9 Mar 2018 15:33:30 +0100
Subject: Added seperator in warning msg. Bug 23179

---
 backend/AisAnnot.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/AisAnnot.ml')

diff --git a/backend/AisAnnot.ml b/backend/AisAnnot.ml
index c5fade24..4c637922 100644
--- a/backend/AisAnnot.ml
+++ b/backend/AisAnnot.ml
@@ -140,7 +140,7 @@ let ais_annot_txt warn lbl preg_string sp_reg_name txt args =
     | Bad_parameter s ->
       if warn then begin
         let loc = loc_of_txt txt in
-        warning loc Wrong_ais_parameter "wrong ais parameter %s" s
+        warning loc Wrong_ais_parameter "wrong ais parameter: %s" s
       end;
       []
   in
-- 
cgit