Fix a few comments.

coq · Sep 24, 2020 · b950f6e · b950f6e
1 parent 7e2ee2f
commit b950f6e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/kernel/vmsymtable.ml b/kernel/vmsymtable.ml
@@ -151,11 +151,11 @@ struct
 end
 
 
-(*******************)
-(* Linkage du code *)
-(*******************)
+(****************)
+(* Code linking *)
+(****************)
 
-(* Table des globaux *)
+(* Global Table *)
 
 (** [global_table] containts values of global constants, switch annotations,
     structure_constant and projections. *)