diff options
Diffstat (limited to 'backend/AisAnnot.ml')
-rw-r--r-- | backend/AisAnnot.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |