1 files changed, 9 insertions, 9 deletions
diff --git a/kernel/nativecode.ml b/kernel/nativecode.ml
index 5130aa9a4..d3cd6b62a 100644
--- a/kernel/nativecode.ml
+++ b/kernel/nativecode.ml
@@ -201,47 +201,47 @@ let empty_symbols = [||]
 let get_value tbl i =
   match tbl.(i) with
     | SymbValue v -> v
-    | _ -> anomaly (Pp.str "get_value failed")
+    | _ -> anomaly (Pp.str "get_value failed.")
 
 let get_sort tbl i =
   match tbl.(i) with
     | SymbSort s -> s
-    | _ -> anomaly (Pp.str "get_sort failed")
+    | _ -> anomaly (Pp.str "get_sort failed.")
 
 let get_name tbl i =
   match tbl.(i) with
     | SymbName id -> id
-    | _ -> anomaly (Pp.str "get_name failed")
+    | _ -> anomaly (Pp.str "get_name failed.")
 
 let get_const tbl i =
   match tbl.(i) with
     | SymbConst kn -> kn
-    | _ -> anomaly (Pp.str "get_const failed")
+    | _ -> anomaly (Pp.str "get_const failed.")
 
 let get_match tbl i =
   match tbl.(i) with
     | SymbMatch case_info -> case_info
-    | _ -> anomaly (Pp.str "get_match failed")
+    | _ -> anomaly (Pp.str "get_match failed.")
 
 let get_ind tbl i =
   match tbl.(i) with
     | SymbInd ind -> ind
-    | _ -> anomaly (Pp.str "get_ind failed")
+    | _ -> anomaly (Pp.str "get_ind failed.")
 
 let get_meta tbl i =
   match tbl.(i) with
     | SymbMeta m -> m
-    | _ -> anomaly (Pp.str "get_meta failed")
+    | _ -> anomaly (Pp.str "get_meta failed.")
 
 let get_evar tbl i =
   match tbl.(i) with
     | SymbEvar ev -> ev
-    | _ -> anomaly (Pp.str "get_evar failed")
+    | _ -> anomaly (Pp.str "get_evar failed.")
 
 let get_level tbl i =
   match tbl.(i) with
     | SymbLevel u -> u
-    | _ -> anomaly (Pp.str "get_level failed")
+    | _ -> anomaly (Pp.str "get_level failed.")
 
 let push_symbol x =
   try HashtblSymbol.find symb_tbl x