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

---
 pretyping/program.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping/program.mli')

diff --git a/pretyping/program.mli b/pretyping/program.mli
index a8f5115788..2614e181d6 100644
--- a/pretyping/program.mli
+++ b/pretyping/program.mli
@@ -11,7 +11,7 @@
 open Names
 open EConstr
 
-(** A bunch of Coq constants used by Progam *)
+(** A bunch of Coq constants used by Program *)
 
 val sig_typ : unit -> GlobRef.t
 val sig_intro : unit -> GlobRef.t
-- 
cgit v1.2.3