From ab2ce9241e989ac899e4d43333b527e124c0c749 Mon Sep 17 00:00:00 2001
From: JPR
Date: Thu, 23 May 2019 23:44:32 +0200
Subject: Fixing typos - Part 3

---
 pretyping/evarsolve.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'pretyping')

diff --git a/pretyping/evarsolve.ml b/pretyping/evarsolve.ml
index 0925215b1c..c8b1c62db0 100644
--- a/pretyping/evarsolve.ml
+++ b/pretyping/evarsolve.ml
@@ -284,9 +284,9 @@ let noccur_evar env evd evk c =
   in
   try occur_rec false (0,env) c; true with Occur -> false
 
-(***************************************)
+(****************************************)
 (* Managing chains of local definitions *)
-(***************************************)
+(****************************************)
 
 type alias =
 | RelAlias of int
-- 
cgit v1.2.3