From d306f5428db0d034aea55d3f0699c67c1f296cc1 Mon Sep 17 00:00:00 2001
From: JPR
Date: Thu, 23 May 2019 23:28:55 +0200
Subject: Fixing typos - Part 3

---
 kernel/vmvalues.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel')

diff --git a/kernel/vmvalues.ml b/kernel/vmvalues.ml
index 5e3a3c3347..88fcb71e77 100644
--- a/kernel/vmvalues.ml
+++ b/kernel/vmvalues.ml
@@ -11,10 +11,10 @@ open Names
 open Univ
 open Constr
 
-(*******************************************)
+(********************************************)
 (* Initialization of the abstract machine ***)
-(* Necessary for [relaccu_tbl]             *)
-(*******************************************)
+(* Necessary for [relaccu_tbl]              *)
+(********************************************)
 
 external init_vm : unit -> unit = "init_coq_vm"
 
-- 
cgit v1.2.3